Sophie

Sophie

distrib > Fedora > 17 > i386 > by-pkgid > 3c87f6759700d952490bbe29f77574c5

ghc-logict-0.6-1.fc17.i686.rpm

Description:

A continuation-based, backtracking, logic programming monad.
An adaptation of the two-continuation implementation found
in the paper "Backtracking, Interleaving, and Terminating
Monad Transformers": <http://okmij.org/ftp/papers/LogicT.pdf>.

Sources packages:

Other version of this rpm: