gentauro

I am Mr. Math, a passionate datalogist, with flair for functional programming languages and business, that advocates for correctness, quality and high-standards.

I'm is currently working for my own company SPISE MISU ApS: “Stay Pure, Isolating Side-Effects, while Making Illegal States Unrepresentable”, where it seems that I have discovered my Holy Grail in SAFE Haskell.

Author of Uniprocess and Λ-gent, among others.