re: #101 klys

Mathematical Foundations of Computing. There’s supposed to be a lot of proofs.

I hate proofs.

I got my Math/CS degree 30 years ago. We programmed on punch cards. PUNCH CARDS!!