Commit message (Collapse) | Author | Age | Files | Lines | |
---|---|---|---|---|---|
* | - Teach the Haskell Cabal ports to use the new options framework | Gabor Pali | 2012-08-03 | 1 | -0/+1 |
| | | | | | | | | | - Remove some cruft Obtained from: FreeBSD Haskell Notes: svn path=/head/; revision=301879 | ||||
* | - Update to 0.5.0.1 | Gabor Pali | 2012-06-03 | 2 | -3/+3 |
| | | | | | | | Obtained from: FreeBSD Haskell Notes: svn path=/head/; revision=298205 | ||||
* | A continuation-based, backtracking, logic programming monad. An | Gabor Pali | 2012-02-13 | 3 | -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 |