joshua/nominal-lstar
1
Fork 0
mirror of https://github.com/Jaxan/nominal-lstar.git synced 2025-04-28 07:07:46 +02:00
Code Issues Releases Activity

Code: Fixes some warnings and made sure everything compiles out of the box (ghc 7.10)

Browse source
This commit is contained in:
Joshua Moerman 2016-05-10 11:57:27 +02:00
parent afd27369a1
commit cb09b2d306
2 changed files with 7 additions and 0 deletions
Show stats Download patch file Download diff file Expand all files Collapse all files

6
.gitignore vendored Normal file
View file

@ -0,0 +1,6 @@
dist/
.cabal-sandbox/
*.o
*.hi
*.prof

1
NominalAngluin.cabal
View file

@ -22,6 +22,7 @@ executable NominalAngluin
build-depends: build-depends:
base >=4.8 && <4.9, base >=4.8 && <4.9,
containers, containers,
mtl,
NLambda, NLambda,
readline readline
hs-source-dirs: src hs-source-dirs: src