Programming languages enthusiast. Interested in purely functional languages. Idris, Haskell and Frege fanatic.