Making a language with row types and bidirectional typing, targeting WASM

(thunderseethe.dev)

4 points | by fanf2 10 hours ago ago