2 ms·
Or just write your own operational semantics and grammar in Racket's Redex :). Lots of ways to Rome.
by the-smug-one 5y ago
Or just write your own operational semantics and grammar in Racket's Redex :). Lots of ways to Rome.
loading thread…
2 ms·