Lawvere

A categorical programming language · WebAssembly edition

❦ · ❧ · ❦