joshua/nominal-lstar
1
Fork 0
mirror of https://github.com/Jaxan/nominal-lstar.git synced 2025-04-27 06:37:45 +02:00
Code Issues Releases Activity

Revert previous workaround, as NLambda is now updated

Browse source
This commit is contained in:
Joshua Moerman 2023-07-12 21:32:43 +02:00
parent eb94b82251
commit 9c212ccfda
1 changed files with 2 additions and 3 deletions
Show stats Download patch file Download diff file Expand all files Collapse all files

5
nominal-lstar.cabal
View file

@ -10,10 +10,9 @@ common stuff
default-language: Haskell2010
ghc-options: -O2 -Wall
build-depends:
-- at most 4.17: one transitive dependency breaks with more recent base
base >= 4.8 && < 4.17,
base >= 4.8 && < 5,
haskeline,
NLambda >= 1.1
NLambda >= 1.1.1
library
import: stuff