currypp-0.3.1 ------------- Version 0.3.1 Author Michael Hanus Synopsis The standard preprocessor of Curry Category Analysis Dependencies cass-analysis >= 0.0.4 cass >= 0.0.1 currycheck >= 1.0.0 verify >= 0.0.1 Compiler compatibility pakcs >= 1.14.0, < 2.0.0 kics2 >= 0.5.0, < 2.0.0 Executable Name currypp Main module Main Source directories src src/IntegratedCode src/IntegratedCode/Parser src/IntegratedCode/Parser/ML src/IntegratedCode/Parser/SQL src/SequentialRules src/DefaultRules src/ContractWrapper Exported modules Main Test suite Directory src/IntegratedCode/Examples Test modules testFormat testHtml testRegExps Test suite Directory src/IntegratedCode/ExamplesSQL Test script test.sh Test options -v Test suite Directory src/DefaultRules/Examples Check options -m40 Test modules BreakWhere BubbleSort ColorMap DutchFlag FixInt FloatString Guards ListFuns Lookup Nim ParOr Queens Rev2 WorldCup ParOrDet BubbleSortDet DutchFlagDet Test suite Directory src/ContractWrapper/Examples Check options --nospec --nodet --deftype=Int Test modules BubbleSort BubbleSortFormat Coin FibInfinite Quicksort Documentation Directory docs Main file main.tex Source Git https://git.ps.informatik.uni-kiel.de/curry-packages/currypp.git@v0.3.1