3 ms·
> PLT Redex is a domain-specific language designed for specifying and debugging operational semantics. [1] [1] https://redex.racket-lang.org/index.html https:/
by portmanteaufu 7y ago
> PLT Redex is a domain-specific language designed for specifying and debugging operational semantics. [1]
[1] https://redex.racket-lang.org/index.html https://redex.racket-lang.org/index.html