Keith Pinson
7,604
reputation
6
56
100
In imitation, creating through language. Constructive type theory, functional programming, build systems, mathematics, Linux.