Comment Re:Proofs delicate? (Score 1) 276
Theorems are delicate.
Theorys are rock solid.
Theorys are rock solid.
Real Programs don't use shared text. Otherwise, how can they use functions for scratch space after they are finished calling them?