curly-core-0.7.2: The core libraries for the Curly compiler.
The core libraries for the Curly compiler.
Modules