Garmelon/propa-tools
1
0
Fork 0
Code Issues Pull requests Projects Releases Packages Wiki Activity Actions

Parse terms and definitions

Browse source
This commit is contained in:
Joscha 2020-12-13 20:09:19 +00:00
parent 18e5acd693
commit 60c2c2fe6d
3 changed files with 85 additions and 0 deletions
Download patch file Download diff file Expand all files Collapse all files

3
propa-tools.cabal
View file

@ -24,6 +24,7 @@ library
Propa.Lambda.Term
Propa.Prolog.Display
Propa.Prolog.Example
Propa.Prolog.Parse
Propa.Prolog.Types
Propa.Prolog.Unify
other-modules:
@ -33,6 +34,7 @@ library
build-depends:
base >=4.7 && <5
, containers
, megaparsec
, text
, transformers
default-language: Haskell2010
@ -47,6 +49,7 @@ executable propa-tools-exe
build-depends:
base >=4.7 && <5
, containers
, megaparsec
, propa-tools
, text
, transformers