1
0
mirror of https://git.FreeBSD.org/ports.git synced 2024-12-25 04:43:33 +00:00
freebsd-ports/lang/ott/pkg-descr
Li-Wen Hsu fa9290fee7 Add ott, tool for writing definitions of programming languages and calculi
Inspired by:	Domagoj Stolfa <domagoj.stolfa@cl.cam.ac.uk>
2018-09-18 00:19:31 +00:00

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