Post

A while back, someone in the @wasmgroundup.com Discord asked about resources for learning the formal notation used in the WebAssembly spec. One I like is Jeremy Siek's "Crash Course on Notation in Programming Language Theory": siek.blogspot.com/2012/07/cras...

thanks Patrick, I also have some recent notes on this: kmicinski.com/cis352-s26/c..., this also links to a playground for natural deduction which I made the other night: kmicinski.com/cis352-s26/p...

The playground is awesome! Btw you might want to change the CSS for the shortcuts…it resolving to Fire Code for me, which has ligatures for many of these things, which makes it confusing. Adding `font-variant-ligatures: none` seems to fix it.