currypp-3.1.0 ------------- Version 3.1.0 Author Michael Hanus Synopsis The standard preprocessor of Curry Category Programming Analysis Dependencies base >= 3.0.0, < 4.0.0 abstract-curry >= 3.0.0, < 4.0.0 allvalues >= 3.0.0, < 4.0.0 cass-analysis >= 3.0.0, < 4.0.0 cass >= 3.0.0, < 4.0.0 cdbi >= 3.0.0, < 4.0.0 containers >= 3.0.0, < 4.0.0 contracts >= 3.0.0, < 4.0.0 currycheck >= 3.0.0, < 4.0.0 currypath >= 3.0.0, < 4.0.0 directory >= 3.0.0, < 4.0.0 filepath >= 3.0.0, < 4.0.0 fl-parser >= 3.0.0, < 4.0.0 flatcurry >= 3.0.0, < 4.0.0 frontend-exec >= 3.0.0, < 4.0.0 html2 >= 3.0.0, < 4.0.0 process >= 3.0.0, < 4.0.0 printf >= 3.0.0, < 4.0.0 regexp >= 4.0.0 setfunctions >= 3.0.0, < 4.0.0 time >= 3.0.0, < 4.0.0 wl-pprint >= 3.0.0, < 4.0.0 xml >= 3.0.0, < 4.0.0 Executable Name currypp Main module Main Exported modules Main Config module CPP.Config 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 --nosource --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@v3.1.0 License BSD-3-Clause License file LICENSE