125
reputation
8

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

Top tags (0)

This user has not participated in any tags.

Top posts (2)

Badges (8)

Gold

Silver

Bronze

8

Rarest