Comment by pantaloony

You’re not alone. My brain works in steps, not proofs. If all code looked like Haskell and friends I doubt I’d ever have gotten into it in the first place.

[edit] algos, over proofs, would probably be a better way to put it.