Skip to content
GitLab
Explore
Sign in
Register
curry
curry-frontend
Repository
curry-frontend
test
HaskellRecords.curry
Find file
Blame
History
Permalink
Fixed bug regarding export of record labels
· 18f66e93
Jan Rasmus Tikovsky
authored
Feb 20, 2015
18f66e93