An encoding of the operator structure of TLA into lambda calculus
Primary LanguageOCaml
No issues in this repository yet.