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