Tool for writing definitions of programming languages and calculi
A tool for writing definitions of programming languages and calculi by Peter Sewell, Francesco Zappa Nardelli, and Scott Owens.
$
pkg install ottOrigin
lang/ott
Size
4.27MiB
License
BSD3CLAUSE
Maintainer
domagoj.stolfa@cl.cam.ac.uk
Dependencies
1 packages
Required by
0 packages