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