GitHub repository: DSbD-AppControl/ola-lang
Primary language: Idris
Created: 2022-06-17T13:24:15Z
Description: A small imperative language with ML-style references to play with CHERI Capabilities & Session-Types.