Add instances for Integral

haskellari / lattices

Fine-grained lattice primitives for Haskell

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

35 stars 15 forks source link

Closed jachymb closed 7 years ago

jachymb commented 8 years ago

Integers form a lattice with \/ = gcd and /\ = lcm with lower bound = 1.