[Haskell-cafe] Problems with Unicode Symbols as Infix Function Names in Propositional Calculus Haskell DSL

Felipe Lessa felipe.lessa at gmail.com
Wed Jan 9 12:24:30 EST 2008

On Jan 9, 2008 3:17 PM, Cetin Sert <cetin.sert at gmail.com> wrote:
> I want to design a DSL in Haskell for propositional calculus. But instead of
> using natural language names for functions like or, and, implies etc. I want
> to use Unicode symbols as infix functions ¬, ˅, ˄, →, ↔

I guess you can't do anything for ¬, as it is a prefix function. But
for the others, what is wrong with e.g. (\/), (/\), (-->) and (<->)?
You could write things like 'a /\ b --> c'.


More information about the Haskell-Cafe mailing list