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