-
updated
-
curry-tools!4 version3
- Closed
- 1
updated -
Re-integrate bootstrapping targets into version 3's makefiles 8 of 8 checklist items completedkics2!9 version3-newupdated
-
Fix generation of newtypes and update makefile structure 9 of 9 checklist items completedkics2!7 version3-newupdated
-
curry-libs!14updated
-
updated
-
pakcs!20updated
-
curry-frontend!45updated
-
curry-frontend!44updated
-
pakcs!18updated
-
curry-frontend!43updated
-
pakcs!17updated
-
updated
-
pakcs!14
- Merged
- 1
updated -
curry-libs!13
- Merged
- Approved
updated -
curry-libs!12
- Merged
- Approved
updated