Explore projects
-
-
A simple program to show analysis information about a function defined in some package
Updated -
-
-
-
A compiler and run-time system to compile and run Curry programs as Go programs
Updated -
-
-
Updated
-
Updated
-
-
-
-
Updated
-
-
-
-
Some auxiliaries used by the Curry preprocessor to check contracts
Updated -
-