unicode

unicode

Wasp is unicode first: Strings are UTF8 by default but in itertion can be accessed by byte, codepoint or grapheme.

uniscript

Wasp uses uniscript when entering code and when parsing code, that is :infinity is equivalent to the symbol ∞.

when typing, the colon can be ommited and as in lean you can use many shortcuts: \nat => ℕ

For entity names also see alias chains like < ⭠ less ⭠ smaller ⭠ lower

We follow the good example of Julia to make most unicode math symbols part of the language: √9 × ‖-2‖ 6

see alias