icurry-2.0.0
------------
Version      2.0.0
Author       Marc Andre Wittorf <stu114055@mail.uni-kiel.de>
Maintainer   Michael Hanus <mh@informatik.uni-kiel.de>
Synopsis     Generic intermediate format for compiling Curry to imperative
             languages
Category     Metaprogramming
Dependencies
    base >= 1.0.0,  < 2.0.0
    currypath >= 0.0.1
    flatcurry-annotated >= 2.0.0
    frontend-exec >= 0.0.1
    ninja >= 1.0.0
Compiler compatibility
    kics2 >= 2.0.0,  < 3.0.0
    pakcs >= 2.0.0,  < 3.0.0
Executable
    Name          icurry
    Main module   Main
Exported modules
    ICurry.Types ICurry.Files ICurry.Pretty ICurry.C2I ICurry.Build
    ICurry.Extended.Types ICurry.Extended.Files ICurry.Extended.I2E
    ICurry.Extended.Goodies ICurry.Extended.Build
Config module
    Main.ConfigPackage
Documentation
    Directory     docs
    Main file     implementation_guide.tex
Source
    Git https://git.ps.informatik.uni-kiel.de/curry-packages/icurry.git@v2.0.0
License
    BSD-3-Clause
License file
    LICENSE