Oh, I realize Calculus isn't a necessary prereq to linear algebra. But my impression is that people normally learn proofs alongside Calc than learn proofs alongside Linear Algebra. To be honest, I was writing more out of a desire to be humorous than accurate; sorry!

Anyways, I've picked up "The Haskell Road to Logic, Maths, and Programming," so hopefully I can learn proofs alongside programming and logic, which is probably the best route for me at this time.