unicoder: Make writing in unicode easy.
Unicoder is a command-line tool transforms text documents, replacing simple patterns with unicode equivalents. The patterns can be easily configured by the user. This package is especially meant to open the vast and expressive array of unicode identifiers to programmers and language designers, but there's nothing wrong with a technically savvy user putting unicoder to work on documents for human consumption. Any system of special characters can be made easy to type on any keyboard and in any context as long as unicode supports it.
Cabal wants to fight me over typesetting some examples, so check out the real docs for a decent look at the features.
In the interests of giving readers some idea whats going on, with the default settings,
\E.x. \A.y. x \-> y \l.x,y. x \of x \of y
∃x ∀y x → y λx,y. x ∘ x ∘ y
except that the newline isn't removed (thanks, cabal!). Also, there are a couple important features that I can't seem to get cabal to even parse (thanks again!).
[Skip to Readme]
|Versions [RSS]||0.4.0, 0.4.1, 0.5.0|
|Dependencies||attoparsec (>=0.10.0.0), base (>=4.8 && <5), data-default (>=0.5), directory (>=1 && <2), filepath (>=1 && <2), text (>=0.11 && <2), twitch (>=0.1.7 && <0.1.8), unicoder [details]|
|Copyright||Copyright © 2013, 2014, Okuno Zankoku|
|Source repo||head: git clone https://github.com/Zankoku-Okuno/unicoder.git|
|Uploaded||by ZankokuOkuno at 2017-06-10T21:21:07Z|
|Reverse Dependencies||1 direct, 0 indirect [details]|
|Downloads||2389 total (10 in the last 30 days)|
|Rating||(no votes yet) [estimated by Bayesian average]|
|Status||Docs uploaded by user
Build status unknown [no reports yet]