ott-lang

Pinned Repositories

ott
The Ott tool for writing definitions of programming languages and calculi
Language:OCaml329 15 5044

ott-lang's Repositories

ott-lang/ott
The Ott tool for writing definitions of programming languages and calculi
Language:OCaml329 15 5044