Skip to content
GitLab
Explore
Sign in
Register
curry-packages
flatcurry-type-annotated
Tags
Tags give the ability to mark specific points in history as being important
v3.4.0
136409a7
·
File suffix replace `.tafcy` replaced by `.afcy` since this is supported by the current front end
·
Feb 11, 2022
v3.4.0
v3.3.0
596798ac
·
Add compatibility between pakcs3 and kics3
·
Dec 13, 2021
v3.3.0