Taneb Taneb@hacksrus.xyz

Open on hacksrus.xyz
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.
ArticlesSubscribersSubscriptions