About Taneb

I write Haskell for a living, Agda for fun, Nix for poking at computers. I sometimes post about maths. I sometimes think about genealogy. I might even post about other things, too. For some reason I keep trying to write actual programs in Agda.

Lists

Timeline

{username} has no activity yet