Binary package “libghc-logict-prof” in ubuntu focal
Backtracking logic-programming monad; profiling libraries
It is 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://
.
This package provides a library for the Haskell programming language, compiled
for profiling. See http://
Source package
Published versions
- libghc-logict-prof 0.6.0.3-1build1 in amd64 (Release)
- libghc-logict-prof 0.6.0.3-1build1 in arm64 (Release)
- libghc-logict-prof 0.6.0.3-1build1 in armhf (Release)
- libghc-logict-prof 0.6.0.3-1build1 in ppc64el (Release)
- libghc-logict-prof 0.6.0.3-1build1 in riscv64 (Release)
- libghc-logict-prof 0.6.0.3-1build1 in s390x (Release)