[–] nilslice 2y ago ↗ bringing Formal Verification into more mainstream programming languages is a great side-effect of compiling extracted Haskell code to Wasm!
1 comment
[ 3.1 ms ] story [ 63.6 ms ] thread