search

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

Relax base version bounds to < 4.17, update index-state #11

Closed sullyj3 closed 1 year ago

coot commented 1 year ago

I pushed one more commit to master to also support ghc-9.4.