4 Commits

Author	SHA1	Message	Date
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