Update to lattices-3.0.0 and recent ghc - Githubissues

coot / heyting-algebras

Heyting Algebras in Haskell

https://hackage.haskell.org/package/heyting-algebras

BSD 3-Clause "New" or "Revised" License

14 stars 2 forks source link

Update to lattices-3.0.0 and recent ghc #10

Closed coot closed 3 years ago

coot commented 3 years ago

Addresses: #9, #10.

Supported ghc versions: 9.0.1, 8.10.4, 8.8.4, 8.6.5.

Make it compatible with lattices-3.0.0
Use haskell.nix
Swap Boolean and BooleanAlgebra
Updated ChangeLog file