The Ott tool for writing definitions of programming languages and calculi - View it on GitHub