Ubuntu
haskell-logict package

haskell-logict 0.5.0-1 source package in Ubuntu

Changelog

haskell-logict (0.5.0-1) unstable; urgency=low

  * New upstream version.
 -- Ubuntu Archive Auto-Sync <email address hidden>   Mon,  17 Oct 2011 10:57:42 +0000

Upload details

Uploaded by:
Ubuntu Archive Auto-Sync
Uploaded to:
Precise
Original maintainer:
Debian Haskell Group
Architectures:
any
Section:
haskell
Urgency:
Low Urgency

See full publishing history Publishing

Series Pocket Published Component Section

Downloads

File Size SHA-256 Checksum
haskell-logict_0.5.0.orig.tar.gz 5.2 KiB b940578db4ccbb0c21bd84e651f295d0feac79da5d3441fbf7751c6b9b428729
haskell-logict_0.5.0-1.debian.tar.gz 2.1 KiB bbaedc9875e465c4289e578d445b80f7acf807aa12acd11e67c99aaa87c652bb
haskell-logict_0.5.0-1.dsc 2.1 KiB d0f2e21e5b70cd771e9d85ae0e24ad963a552833a9e6424d3578066f90e6548a

Available diffs

View changes file

Binary packages built by this source

libghc-logict-dev: Backtracking logic-programming monad

 This package provides a library for the Haskell programming language.
 See http://www.haskell.org/ for more information on Haskell.
 .
 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://okmij.org/ftp/papers/LogicT.pdf

libghc-logict-doc: Backtracking logic-programming monad; documentation

 This package provides the documentation for a library for the Haskell
 programming language.
 See http://www.haskell.org/ for more information on Haskell.
 .
 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://okmij.org/ftp/papers/LogicT.pdf

libghc-logict-prof: Backtracking logic-programming monad; profiling libraries

 This package provides a library for the Haskell programming language,
 compiled for profiling.
 See http://www.haskell.org/ for more information on Haskell.
 .
 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://okmij.org/ftp/papers/LogicT.pdf