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

4 points | by fanf2 10 hours ago