/kalami

Toy non-deterministic programming language

Primary LanguageOCaml

No issues in this repository yet.