|visits||member for||1 year, 10 months|
|seen||Jan 15 '14 at 8:16|
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.)
|bio||website||lambdageek.org||visits||member for||1 year, 10 months|
|location||Boston, MA||seen||Jan 15 '14 at 8:16|
0 Votes Cast
This user has not cast any votes