Skip to content
GitLab
Explore
Sign in
Register
curry-packages
failfree
Repository
failfree
examples
Fac.curry
Find file
Blame
History
Permalink
Some improvements to enable verification of complete prelude.
· 1965d1d7
Michael Hanus
authored
Apr 12, 2018
1965d1d7