search

purescript / purescript-prelude

The PureScript Prelude
BSD 3-Clause "New" or "Revised" License
163 stars 88 forks source link

Does Boolean HeytingAlgebra need to be foreign? #307

Open natefaubion opened 1 year ago

natefaubion commented 1 year ago

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

garyb commented 1 year ago

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