issues
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
issues
Newest
Newest
Most commented
Recently updated
Oldest
Least commented
Least recently updated
Support ghc-9.2 & ghc-9.4
#12
coot
closed
1 year ago
0
Relax base version bounds to < 4.17, update index-state
#11
sullyj3
closed
1 year ago
1
Update to lattices-3.0.0 and recent ghc
#10
coot
closed
3 years ago
0
GHC 8.8 support
#9
kozross
opened
4 years ago
4
GHC 8.10 support
#8
kozross
opened
4 years ago
1
Predicate a should be a BooleanAlgebra
#7
kozross
opened
4 years ago
0
CounterExample Heyting algebra
#6
coot
closed
5 years ago
0
Nix updates
#5
coot
closed
5 years ago
0
Various changes
#4
coot
closed
5 years ago
0
Merge into `lattices`
#3
phadej
closed
5 years ago
3
Implies operator
#2
coot
closed
5 years ago
0
Boolean sublcass
#1
coot
closed
6 years ago
0