icurry-3.0.0
------------
Version      3.0.0
Author       Michael Hanus <mh@informatik.uni-kiel.de>
Synopsis     Intermediate format for compiling Curry to imperative languages
Category     Metaprogramming
Dependencies
    base >= 1.0.0,  < 2.0.0
    currypath >= 0.0.1
    flatcurry >= 2.0.0,  < 3.0.0
    graphviz >= 2.0.0,  < 3.0.0
Compiler compatibility
    pakcs >= 2.0.0,  < 3.0.0
    kics2 >= 2.0.0,  < 3.0.0
Executable
    Name          icurry
    Main module   ICurry.Main
Exported modules
    ICurry.Types ICurry.Files ICurry.Pretty ICurry.Compiler ICurry.Interpreter
Test suite
    Directory     examples
    Test modules  InterpreterTests
Documentation
    Directory     docs
    Main file     implementation_guide.tex
Source
    Git https://git.ps.informatik.uni-kiel.de/curry-packages/icurry.git@v3.0.0
License
    BSD-3-Clause
License file
    LICENSE