The Haskell community is digusting

One of these grant swindlers (not going to give any names) said that imperative programming is not based on math. They are using positions of academic authority to deliberately mislead people.

>>5
A form of logic that can prove itself given various axioms.