Skip to content
GitLab
Explore
Sign in
Register
curry-packages
flatcurry-type-annotated
Tags
v3.4.0
v3.4.0
Michael Hanus
@mh
136409a7
·
File suffix replace `.tafcy` replaced by `.afcy` since this is supported by the current front end
·
Feb 11, 2022
v3.4.0