from my link log — Making a language with row types and bidirectional typing, targeting wasm. https://thunderseethe.dev/series/making-a-language/ saved 2026-10-13 https://dotat.at/:/JETVL.html