22 Dec
2020
22 Dec
'20
5:40 a.m.
I didn't want to clash with Prelude names. Also in Heyting-generality "not" is not correct either. (In general, neg is not involutive). - Oleg On 22.12.2020 1.28, Ben Franksen wrote:
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'.)
_______________________________________________ Libraries mailing list Libraries@haskell.org http://mail.haskell.org/cgi-bin/mailman/listinfo/libraries