/ott

Ott is a tool for writing definitions of programming languages and calculi

Primary LanguageOCamlOtherNOASSERTION

No issues in this repository yet.