setfunctions-0.0.1 ------------------ Version 0.0.1 Author Michael Hanus Synopsis Implementation of set functions to encapsulate non-deterministic computations in a strategy independent manner Category Logic Programming Dependencies base >= 1.0.0, < 2.0.0 searchtree >= 1.0.0 Compiler compatibility pakcs >= 2.0.0 kics2 >= 2.0.0 Exported modules Control.SetFunctions Test suite Directory test Test modules TestSetFunctions TestFuncPattern Source Git https://git.ps.informatik.uni-kiel.de/curry-packages/setfunctions.git@v0.0.1 License BSD-3-Clause License file LICENSE