Commit 68cddffc authored by Michael Hanus 's avatar Michael Hanus

Reference to Sprite added

parent 2cc24cd0
......@@ -6,6 +6,10 @@ languages.
Its purpose is to be mostly generic, so any target language can be supported
with a similar effort.
The definition of ICurry is inspired by the Curry compiler
[Sprite](http://dx.doi.org/10.1007/978-3-319-63139-4_6)
which compiles Curry programs into LLVM code.
The `icurry` package includes a format `ICurry` (see `ICurry.Types`),
a format `Extended ICurry` (see `ICurry.Extended.Types`), a translator
from Flat- to ICurry, from I- to Extended ICurry, some goodies for
......
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