On Jan 9, 2008 3:17 PM, Cetin Sert <[EMAIL PROTECTED]> 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'. -- Felipe.
_______________________________________________ Haskell-Cafe mailing list [email protected] http://www.haskell.org/mailman/listinfo/haskell-cafe
