peval-2.0.0 ----------- Version 2.0.0 Author Bjoern Peemoeller <bjp@informatik.uni-kiel.de> Synopsis A partial evaluator for Curry Category Analysis Optimization Dependencies base >= 1.0.0, < 2.0.0 ansi-terminal >= 0.0.1 currypath >= 0.0.1 flatcurry >= 2.0.0 flatcurry-annotated >= 2.0.0 profiling >= 1.0.0 redblacktree >= 0.0.1 setfunctions >= 0.0.1 wl-pprint >= 0.0.1 Compiler compatibility pakcs >= 2.0.0 kics2 >= 2.0.0 Executable Name curry-peval Main module peval Source Git https://git.ps.informatik.uni-kiel.de/curry-packages/peval.git@v2.0.0