All Projects → evertedsphere → shorshe

evertedsphere / shorshe

Licence: other
freshly-fermented, dependently-typed mustard, with a substructural aftertaste

Programming Languages

haskell
3896 projects

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.

Note that the project description data, including the texts, logos, images, and/or trademarks, for each open source project belongs to its rightful owner. If you wish to add or remove any projects, please contact us at [email protected].