name: ds-kanren version: 0.2.0.1 synopsis: A subset of the miniKanren language description: ds-kanren is an implementation of the language. license: MIT license-file: LICENSE author: Danny Gratzer maintainer: jozefg@cmu.edu category: Language build-type: Simple cabal-version: >=1.10 source-repository head type: hg location: http://bitbucket.org/jozefg/ds-kanren library exposed-modules: Language.DSKanren , Language.DSKanren.Core , Language.DSKanren.Sugar build-depends: base >=4 && <5 , containers >=0.4 , logict hs-source-dirs: src default-language: Haskell2010 Test-Suite test-unify: hs-source-dirs: test type: exitcode-stdio-1.0 main-is: Unify.hs hs-source-dirs: test build-depends: ds-kanren , tasty , tasty-quickcheck , QuickCheck , base >=4 && <5 default-language: Haskell2010 Test-Suite test-list-ops: hs-source-dirs: test type: exitcode-stdio-1.0 main-is: List.hs hs-source-dirs: test build-depends: ds-kanren , tasty , tasty-quickcheck , QuickCheck , base >=4 && <5 default-language: Haskell2010