Wizardlike software

The most visible change will be the syntactic changes. The type Foo a b is now Foo(a, b). Safe and dangerous types are now in the typing system, too.

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.

Pattern matching has been implemented and the bunched context type inference is more or less stable. There are still a few bugs to track down on both issues.

Focus of the Pola implementation have shifted away from bounds inference to a new typing system, so I decided to do a snapshot and commit it. Hopefully more snapshots will be coming soon and more of Pola's features will stabilize.