4 ms·
There are ASCII equivalents. You can type `\` instead of `λ` and `forall` instead of `∀`. Also `dhall format` will automatically translate ASCII to Unicode fo
by Gabriel439 8y ago
There are ASCII equivalents. You can type `\` instead of `λ` and `forall` instead of `∀`. Also `dhall format` will automatically translate ASCII to Unicode for you.
However, if you do want to type them then see:
https://en.wikipedia.org/wiki/Unicode_input https://en.wikipedia.org/wiki/Unicode_input
... and the relevant code points are:
* `λ`: `U+03BB`
* `∀`: `U+2200`