Commit 64c79490 authored by Fredrik Wieczerkowski's avatar Fredrik Wieczerkowski

Add note about KiCS2

parent b0d5d31f
...@@ -2,10 +2,13 @@ ...@@ -2,10 +2,13 @@
The Curry frontend parses source files (`.curry`), emits errors and The Curry frontend parses source files (`.curry`), emits errors and
warnings, performs various checks and transformations and warnings, performs various checks and transformations and
generates FlatCurry (`.fcy`, `.fint`) or AbstractCurry (`.acy`, `.uacy`) amonst other formats. generates FlatCurry (`.fcy`, `.fint`) or AbstractCurry (`.acy`, `.uacy`)
amonst other formats.
The project originated from a modified version of the The project originated from a modified version of the Münster-Curry-Compiler
Münster-Curry-Compiler (MCC) for use as a frontend in PAKCS. (MCC) for use with [PAKCS](https://git.ps.informatik.uni-kiel.de/curry/pakcs),
but can also be used with a variety of other backends, most notably including
[KiCS2](https://git.ps.informatik.uni-kiel.de/curry/kics2).
## Requirements ## Requirements
......
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