Skip to content

Releases: nboldi/references

New operators and monad morphs

19 Oct 19:26
@nboldi nboldi
0.3
ce3c73a

Choose a tag to compare

View all tags
New operators and monad morphs Latest
Latest 
0.3

documentation changes for version 0.3
Assets 2
Loading

Bugfix release after fixing mvar semantics

26 Sep 10:18
@nboldi nboldi
0.2.1.2
9a01497

Choose a tag to compare

View all tags
Bugfix release after fixing mvar semantics 
0.2.1.2

made MU an Alternative
Loading

Reformulation by moving type bindings into the frontend

14 Aug 12:21
@nboldi nboldi
0.2
7f845d0

Choose a tag to compare

View all tags
Reformulation by moving type bindings into the frontend 
0.2

updated version
Loading