-
curry-tools!5 version3
-
curry-tools!4 version3
-
Re-integrate bootstrapping targets into version 3's makefiles 8 of 8 checklist items completedkics2!9 version3-new
-
Fix generation of newtypes and update makefile structure 9 of 9 checklist items completedkics2!7 version3-new
-
Version 3 9 of 9 checklist items completedkics2!6
-
curry-libs!14
-
pakcs!20
-
curry-frontend!45
-
curry-frontend!44
-
pakcs!18
-
curry-frontend!43
-
pakcs!17
-
pakcs!14
-
curry-libs!13