Inductive nat : Set
@nore@framapiaf.org
Joined: 11/21/2018
About Inductive nat : Set
R&D engineer at OCamlPro, OCaml hacker, type systems enthusiast, math & games lover, core developer of Luanti.
she/her 🏳️⚧️
Lists
{username} has no public lists
Timeline
{username} has no activity yet