-
curry-frontend!49
-
curry-frontend!43
-
Version 3 9 of 9 checklist items completedkics2!6
-
curry-libs!14
-
pakcs!26
-
pakcs!25
-
curry-frontend!47
-
curry-frontend!48
-
curry-frontend!46
-
pakcs!23
-
curry-libs!15
-
Re-integrate bootstrapping targets into version 3's makefiles 8 of 8 checklist items completedkics2!9 version3-new
-
curry-tools!5 version3
-
Fix generation of newtypes and update makefile structure 9 of 9 checklist items completedkics2!7 version3-new