start | find | index | login or register | edit
Ott
by earl, 6531 days ago
"Ott is a tool for writing definitions of programming languages and calculi."

- http://www.cl.cam.ac.uk/~pes20/ott/
powered by vanilla
echo earlZstrainYat|tr ZY @.
earl.strain.at • esa3 • online for 8681 days • c'est un vanilla site