Verified record · from the answer index

ott

clitested · static-verifiedscore 23/100signed passport ✓

Tool for writing definitions of programming languages and calculi

cli:brew:ott · published by ott-lang · source repository