Hacker News new | ask | show | jobs
by nilslice 1014 days ago
bringing Formal Verification into more mainstream programming languages is a great side-effect of compiling extracted Haskell code to Wasm!