Keith Pinson
In imitation, creating through language. Constructive type theory, functional programming, build systems, mathematics, Linux.
0
answers
2
questions
~540
people reached
-
Member for 1 year, 10 months
-
0 profile views
-
Last seen Jan 4 at 15:06