I write Haskell for a living, Agda for fun, Nix for self-improvement, OpenSCAD to make pretty shapes. I sometimes post about maths. I sometimes think about genealogy. I might even post about other things, too.
This profile is from a federated server and may be incomplete. Browse more on the original instance.