/ott

The Ott tool for writing definitions of programming languages and calculi

Primary LanguageOCamlOtherNOASSERTION

Stargazers