The Ott tool for writing definitions of programming languages and calculi
Why do you think that https://github.com/mstewartgallus/doublecatrel is a good alternative to ott
The Ott tool for writing definitions of programming languages and calculi
Why do you think that https://github.com/mstewartgallus/doublecatrel is a good alternative to ott