diff options
| author | Niklas Haas <git@nand.wakku.to> | 2014-03-13 07:01:27 +0100 |
|---|---|---|
| committer | Mateusz Kowalczyk <fuuzetsu@fuuzetsu.co.uk> | 2014-03-13 19:18:08 +0000 |
| commit | 64175d6ade5717b7e0c7fa0a122d16cae6779031 (patch) | |
| tree | 199d1f0e05f51033c7edd423a581433c27f07a12 /resources/html/Ocean.std-theme/plus.gif | |
| parent | 3606ad5fdb8b9c2c3f9a62de1d26702ad41f9a10 (diff) | |
Add UnicodeSyntax alternatives for * and ->
I could not find a cleaner way to do this other than checking for
string equality with the given built-in types. But seeing as it's
actually equivalent to string rewriting in GHC's implementation of
UnicodeSyntax, it's probably fitting.
Diffstat (limited to 'resources/html/Ocean.std-theme/plus.gif')
0 files changed, 0 insertions, 0 deletions