mirror of
https://git.FreeBSD.org/ports.git
synced 2024-12-22 04:17:44 +00:00
fa9290fee7
Inspired by: Domagoj Stolfa <domagoj.stolfa@cl.cam.ac.uk>
6 lines
167 B
Plaintext
6 lines
167 B
Plaintext
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
|