Stable release of Pola

A stable snapshot of Pola has been released as revision 6.
Added by Mike Burrell about 2 years ago

Pre-compiled binaries will show up on the Files page as I find machines to do builds on. The literate source code has also been updated on the website.

Though it certainly shouldn't be taken to be near finished, it should be taken as a stable snapshot to play around with. The current focus of development now is to safely weaken the restrictions on peeking, to add new features like products, and to implement bounds inference.

See Getting started for more information.


Comments