613 reputation
3 8

Lambdageek

Once I compiled programs.
Later I wrote proofs about programs.
Now I compile programs with proofs.

One day I hope to compile proofs and get programs.

(I want to be @pigworker when I grow up.)

#SOreadytohelp

Top Tags (3)

Score 29
Posts 2
Score 23
Posts 1
Score 10
Posts 1

Top Posts (3) All Questions Answers | Votes Newest

Badges (11)

Gold
Silver 3

Rarest

Bronze 8

Rarest