125
reputation
8

Keith Pinson

In imitation, creating through language. Constructive type theory, functional programming, build systems, mathematics, Linux.

0
answers
2
questions
~366
people reached
  • Member for 1 year, 6 months
  • 0 profile views
  • Last seen Apr 22 '19 at 13:32

Top tags (1)

Score 0
Posts 2
Posts % 100

Top posts (2)

Badges (8)

Gold

Silver

Bronze

8

Rarest