21 Dec
2020
21 Dec
'20
6:28 p.m.
Am 21.12.20 um 21:04 schrieb Oleg Grenrus:
lattice package has 'not': https://hackage.haskell.org/package/lattices-2.0.2/docs/Algebra-Heyting.html...
Oh, nice! (Though 'neg' is not quite as suggestive as 'not'.)