Skip to content
GitLab
Explore
Sign in
Register
curry
curry-tools
Repository
curry-tools
currycheck
Examples
ExampleTests.curry
Find file
Blame
History
Permalink
currycheck extended to support non-parameterized tests in PAKCS
· cab3040d
Michael Hanus
authored
Feb 01, 2016
cab3040d