Home My Page Projects Ott
Summary Activity Tracker

Project description

Ott is a tool for writing definitions of programming languages and calculi. It lives at http://www.cl.cam.ac.uk/~pes20/ott/ .

Project Information
Public Tools
Tracker  Tracker