aboutsummaryrefslogtreecommitdiff
path: root/devel/hs-logict
Commit message (Collapse)AuthorAgeFilesLines
* - Teach the Haskell Cabal ports to use the new options frameworkGabor Pali2012-08-031-0/+1
| | | | | | | | | - Remove some cruft Obtained from: FreeBSD Haskell Notes: svn path=/head/; revision=301879
* - Update to 0.5.0.1Gabor Pali2012-06-032-3/+3
| | | | | | | Obtained from: FreeBSD Haskell Notes: svn path=/head/; revision=298205
* A continuation-based, backtracking, logic programming monad. AnGabor Pali2012-02-133-0/+29
adaptation of the two-continuation implementation found in the paper "Backtracking, Interleaving, and Terminating Monad Transformers" [1]. [1] http://okmij.org/ftp/papers/LogicT.pdf WWW: http://code.haskell.org/~dolio/logict Obtained from: FreeBSD Haskell Notes: svn path=/head/; revision=291115