ott
Tool for writing definitions of programming languages and calculi
https://www.cl.cam.ac.uk/~pes20/ott/
Current versions:
| stable | ✅ | 0.28 |
| head | ⚡️ | HEAD |
| bottle | 🍾 | high_sierra, sierra, el_capitan |
Depends on when building from source:
| ocaml | ✅ | 4.06.1 | General purpose programming language in the ML family |
Formula code on GitHub
