The Ott tool for writing definitions of programming languages and calculi
Primary LanguageOCamlOtherNOASSERTION
No one’s star this repository yet.