-
Notifications
You must be signed in to change notification settings - Fork 3
/
Copy pathFolly.cabal
37 lines (33 loc) · 1.47 KB
/
Folly.cabal
1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
23
24
25
26
27
28
29
30
31
32
33
34
35
36
37
-- Initial Folly.cabal generated by cabal init. For further documentation,
-- see http://haskell.org/cabal/users-guide/
name: Folly
version: 0.2.0.0
synopsis: A first order logic library in Haskell
description: An implementation of first order logic in Haskell that
includes a library of modules for incorporating first
order logic into other programs as well as an executable
theorem prover that uses resolution to prove theorems
in first order logic.
license: BSD3
license-file: LICENSE
author: Dillon Huff
maintainer: Dillon Huff
homepage: https://github.com/dillonhuff/Folly
-- copyright:
category: Theorem Provers
build-type: Simple
cabal-version: >=1.8
library
exposed-modules: Folly.Formula, Folly.Unification, Folly.Resolution, Folly.Utils, Folly.Theorem, Folly.Lexer, Folly.Parser, Folly.Clause
build-depends: base < 6, containers, parsec
hs-source-dirs: src
executable Folly
main-is: Main.hs
other-modules:
build-depends: base < 6, containers, parsec
hs-source-dirs: src
executable Folly-tests
main-is: Main.hs
other-modules: Folly.FormulaTests, Folly.LexerTests, Folly.ParserTests, Folly.ResolutionTests, Folly.UnificationTests, Folly.TestUtils, Folly.Clause
build-depends: base < 6, HUnit, containers, parsec
hs-source-dirs: test, src