Skip to content
GitLab
Explore
Sign in
Register
curry
curry-libs
Repository
curry-libs
FlatCurry
Compact.curry
Find file
Blame
History
Permalink
Merge branch 'master' of git.ps.informatik.uni-kiel.de:curry/curry-libs into typeclasses
· 19d0b807
Michael Hanus
authored
Aug 30, 2016
Conflicts: Test/EasyCheck.curry Test/Prop.curry
19d0b807