Commit Graph

6 Commits

Author SHA1 Message Date
espie
bcf3856632 PERMIT_* / REGRESS->TEST sweep 2013-03-11 10:50:00 +00:00
kili
be7ce949cf Regenerate plist for profiling libs. 2013-01-20 17:56:05 +00:00
kili
2acb3c8385 Move the @exec and @unexec lines running the {,un}register.sh scripts
and the line with the unregister.sh script down to the bottom of
the plist. Silences all the blurb about ".../*.haddock doesn't exist
or isn't a file."
2012-10-28 23:24:28 +00:00
kili
b9d69f25f5 Update to logict-0.5.0.1. 2012-09-02 20:28:18 +00:00
kili
685d346d8a Bump after the ghc change. 2012-02-19 20:40:22 +00:00
kili
33e542cb07 A continuation-based, backtracking, logic programming monad. An
adaptation of the two-continuation implementation found in the paper
"Backtracking, Interleaving, and Terminating Monad Transformers"
available here: http://okmij.org/ftp/papers/LogicT.pdf.

ok ajacoutot@
2012-01-23 21:07:22 +00:00