currypp-2.1.0 ------------- Version 2.1.0 Author Michael Hanus Synopsis The standard preprocessor of Curry Category Programming Analysis Dependencies base >= 1.0.0, < 2.0.0 abstract-curry >= 2.0.0 cass-analysis >= 2.0.0 cass >= 2.0.0 cdbi >= 2.0.0 contracts >= 0.0.1 currycheck >= 2.0.0 currypath >= 0.0.1 finite-map >= 0.0.1 fl-parser >= 1.0.0 flatcurry >= 2.0.0 frontend-exec >= 0.0.1 html2 >= 1.0.0 printf >= 0.0.1 regexp >= 1.1.0 searchtree >= 0.0.1 setfunctions >= 0.0.1 wl-pprint >= 0.0.1 xml >= 2.0.0 easycheck >= 0.0.1 Compiler compatibility pakcs >= 2.0.0, < 3.0.0 kics2 >= 2.0.0, < 3.0.0 Executable Name currypp Main module Main Source directories src src/IntegratedCode src/IntegratedCode/Parser src/IntegratedCode/Parser/ML src/IntegratedCode/Parser/SQL Exported modules Main Test suite Directory examples/IntegratedCode Test modules testFormat testHtml testRegExps Test suite Directory examples/IntegratedSQLCode Test script test.sh Test options -v Test suite Directory examples/Contracts Check options --nospec --nodet --deftype=Int Test modules BubbleSort BubbleSortFormat Coin FibInfinite Quicksort Test suite Directory examples/DefaultRules Check options -m40 Test modules BreakWhere BubbleSort ColorMap DutchFlag FixInt FloatString Guards ListFuns Lookup Nim ParOr Queens Rev2 WorldCup Test suite Directory examples/DeterministicOperations Check options -m40 Test modules BubbleSortDet DutchFlagDet ParOrDet Documentation Directory docs Main file main.tex Source Git https://git.ps.informatik.uni-kiel.de/curry-packages/currypp.git@v2.1.0 License BSD-3-Clause License file LICENSE