Inductive nat : Type nore@framapiaf.org

R&D engineer at OCamlPro, OCaml hacker, type systems enthusiast, math & games lover, core developer of Minetest.
Pronouns: she/her