dev-haskell / logict-state

Library for logic programming based on haskell package logict

Official package sites : https://github.com/atzedijkstra/logict-state ·

Logic programming built on top of part of logict library, in particular for dealing with backtrackable state

v0.1.0.2 :: 0/0.1.0.2 :: gentoo

Modified
License
BSD
Keywords
~amd64 ~x86
USE flags
doc hscolour profile

General

doc
Add extra documentation (API, Javadoc, etc). It is recommended to enable per package instead of globally
hscolour
Include coloured haskell sources to generated documentation (dev-haskell/hscolour)
profile
Add support for software performance analysis (will likely vary from ebuild to ebuild)

dev-haskell / cabal : A framework for packaging Haskell software

dev-haskell / haddock : A documentation-generation tool for Haskell libraries

dev-haskell / hscolour : Colourise Haskell code

dev-haskell / logict : A backtracking logic-programming monad

dev-haskell / mtl : Monad classes, using functional dependencies

dev-haskell / transformers : Concrete functor and monad transformers

dev-lang / ghc : The Glasgow Haskell Compiler

dev-haskell / logict : A backtracking logic-programming monad

dev-haskell / mtl : Monad classes, using functional dependencies

dev-haskell / transformers : Concrete functor and monad transformers

dev-lang / ghc : The Glasgow Haskell Compiler

dev-haskell / uhc-util : UHC utilities

Robin H. Johnson · gentoo
Drop $Id$ per council decision in bug #611234.
Signed-off-by: Robin H. Johnson <robbat2@gentoo.org>
Sergei Trofimovich · gentoo
dev-haskell/logict-state: new package, a depend of sci-mathematics/agda-2.5.2
Library for logic programming based on haskell package logict Package-Manager: Portage-2.3.3, Repoman-2.3.1