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

thunderseethe.dev