evertedsphere / shorshe

freshly-fermented, dependently-typed mustard, with a substructural aftertaste
30 stars 0 forks source link

Discord

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.