-
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
-
curry-tools!4 version3
-
Fix generation of newtypes and update makefile structure 9 of 9 checklist items completedkics2!7 version3-new
-
curry-libs!5
-
pakcs!20
-
curry-frontend!45
-
curry-frontend!44
-
pakcs!18
-
pakcs!17