Skip to content
GitLab
Explore
Sign in
Register
curry
curry-frontend
Repository
curry-frontend
src
Generators
GenAnnotatedFlatCurry.hs
Find file
Blame
History
Permalink
Rename Annotated FlatCurry generator and option
· 60f13520
Finn Teegen
authored
Nov 25, 2020
60f13520