HN
Hacker News
Top
New
Best
Ask
Show
Jobs
WebAssembly in Redex | Hacker News Reader
WebAssembly in Redex
asumu.xyz
60 points
·
tonyg
·
·
1 comment
Open article
Save
View on HN
portmanteaufu
·
> PLT Redex is a domain-specific language designed for specifying and debugging operational semantics. [1]
[1]
https://redex.racket-lang.org/index.html
Reply on news.ycombinator.com