Commit 7a5ed5bb authored by Michael Hanus 's avatar Michael Hanus

Compiler spec added

parent ad32b544
......@@ -7,6 +7,10 @@
"category": [ "Programming" ],
"dependencies": {
},
"compilerCompatibility": {
"pakcs": ">= 1.12.0, < 2.0.0",
"kics2": ">= 0.5.0, < 2.0.0"
},
"description":
"This package contains a tool which adds missing type signatures
to top-level operations in a Curry module.
......
Markdown is supported
0% or
You are about to add 0 people to the discussion. Proceed with caution.
Finish editing this message first!
Please register or to comment