path: root/lang/ott/pkg-descr

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