idris-unicode

:let syntax [a] "→" [b] = a -> b :let syntax λ {x} . [body] = \ x => body

Project informations

Fundraiser
Funds 0.78 XPM
Distributions None
Donate

Promote idris-unicode

Embed in README.md

Prime4commit