Did not read the article, but that was my feeling when I first touched math and (almost at the same time) wrote my first code. Using Coq, Idris, Haskell, Pures

Did not read the article, but that was my feeling when I first touched math and (almost at the same time) wrote my first code. Using Coq, Idris, Haskell, Purescript, Mercury and k give me that sense still. Anything that takes a long and hard time to think about.