Shorshe
freshly-fermented, dependently-typed mustard, with a substructural aftertaste
Install / Use
/learn @evertedsphere/ShorsheREADME
shorshe
An experiment in building a pure functional language with mutability and zero-cost abstractions, by integrating linear dependent typing with a Rust-like ownership system.
Pronounced /sərʂeː/ (transliterated sarṣē according to ISO15919) — "shore-shay" is a
good approximation.
