package ott
A tool for writing definitions of programming languages and calculi
Install
Dune Dependency
Authors
Maintainers
Sources
0.31.tar.gz
md5=ef699aa19323e54c205babe17b5489ff
sha512=d885ac3e7d835705342f476200bcbbdc278bcf44418d5365f02b4e92e4d630d6d080bfb008e6742fc3354de3379a99afc5263b66a612a9ac4ce20231f4500f4a