What an evening to parse some #webassembly with #lean4, a dependently-typed language.
Mastodon server of https://doma.dev.
