| | 36 | * Jhc supports several uses of unicode characters instead of the haskell |
| | 37 | keywords. |
| | 38 | * [chr 0x2192] '→' is equivalent to '->' |
| | 39 | * [chr 0x2190] '←' is equivalent to '<- |
| | 40 | * [chr 0x2237] '∷' is equivalent to '::' |
| | 41 | * [chr 0x2025] '‥' is equivalent to '..' |
| | 42 | * [chr 0x21d2] '⇒' is equivalent to '=>' |
| | 43 | * [chr 0x2200] '∀' is equivalent to 'forall' |
| | 44 | * [chr 0x2203] '∃' is equivalent to 'exists' -- future extension will use |
| | 45 | * in addition there is experimental support for defining new operators and |
| | 46 | names using various unicode characters. |
