Hacker News
new
|
past
|
comments
|
ask
|
show
|
jobs
|
submit
login
WebAssembly in Redex
(
asumu.xyz
)
60 points
by
tonyg
on May 19, 2019
|
hide
|
past
|
favorite
|
1 comment
portmanteaufu
on May 20, 2019
[–]
> PLT Redex is a domain-specific language designed for specifying and debugging operational semantics. [1]
[1]
https://redex.racket-lang.org/index.html
Guidelines
|
FAQ
|
Lists
|
API
|
Security
|
Legal
|
Apply to YC
|
Contact
Search:
[1] https://redex.racket-lang.org/index.html