653 reputation
4 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 33
Posts 2
Score 26
Posts 1
Score 10
Posts 1

Top Posts (3) All Questions Answers | Votes Newest

Badges (12)

Gold
Silver 4

Rarest

Bronze 8

Rarest