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.
Well, I no longer have undiagnosed ADHD
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.
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.
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.
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.
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.
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.
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.
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.
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.
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.
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.
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.
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.
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.
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.
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.
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.
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.