5 lines
167 B
Text
5 lines
167 B
Text
A tool for writing definitions of programming languages and calculi
|
|
|
|
by Peter Sewell, Francesco Zappa Nardelli, and Scott Owens.
|
|
|
|
WWW: https://github.com/ott-lang/ott
|