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.)
Keeping a low profile.
This user hasn't posted... yet.