purescript-prelude icon indicating copy to clipboard operation
purescript-prelude copied to clipboard
verified publisher icon purescript

Does Boolean HeytingAlgebra need to be foreign?

Open natefaubion opened this issue 2 years ago • 1 comments

Currently, boolConj, boolDisj, and boolNot are foreign, but could these be implemented in PureScript with pattern matching?

natefaubion avatar Jul 29 '23 23:07 natefaubion

Huh, I wonder why they were done that way. I don't see why they couldn't be pattern matches instead.

garyb avatar Jul 30 '23 11:07 garyb