The Ott tool for writing definitions of programming languages and calculi
Why do you think that https://github.com/brainstorm-tools/brainstorm3 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/brainstorm-tools/brainstorm3 is a good alternative to ott