From 64c79490e961bc6778381a33946954b1a59954ed Mon Sep 17 00:00:00 2001 From: Fredrik Wieczerkowski Date: Mon, 6 Apr 2020 20:08:22 +0200 Subject: [PATCH] Add note about KiCS2 --- README.md | 9 ++++++--- 1 file changed, 6 insertions(+), 3 deletions(-) diff --git a/README.md b/README.md index c88dfeb1..cf8e5965 100644 --- a/README.md +++ b/README.md @@ -2,10 +2,13 @@ The Curry frontend parses source files (`.curry`), emits errors 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 -Münster-Curry-Compiler (MCC) for use as a frontend in PAKCS. +The project originated from a modified version of the Münster-Curry-Compiler +(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 -- GitLab