We read every piece of feedback, and take your input very seriously.
To see all available qualifiers, see our documentation.
There was an error while loading. Please reload this page.
Version 0.7.1: latest algeff changes before merging with master
Version 0.6.0
Version 0.6.0-dev; last version without algebraic effects that can bu… …ild Madoko
Merge with bigint --HG-- branch : algeff
Updated test-suite to new syntax
Updated to new koka syntax, bump version to 0.6.0
Possible fix for building on MacOSX