A small imperative language with ML-style references to play with CHERI Capabilities & Session-Types.
Primary LanguageIdrisBSD 3-Clause Clear LicenseBSD-3-Clause-Clear