Ott
by earl, 6512 days ago
"Ott is a tool for writing definitions of programming languages and calculi."- http://www.cl.cam.ac.uk/~pes20/ott/
search
backlinks (more)
none, yet
recent stores (more)
echo earlZstrainYat|tr ZY @.
| start | find | index | login or register | edit | ||
|
Ott
by earl, 6512 days ago
"Ott is a tool for writing definitions of programming languages and calculi."- http://www.cl.cam.ac.uk/~pes20/ott/ |
search backlinks (more) none, yet recent stores (more)
echo earlZstrainYat|tr ZY @. |
|
| earl.strain.at • esa3 • online for 8662 days • c'est un vanilla site | ||
