User:GergelyPatai
I’m Patai Gergely, a Haskell enthusiast from Hungary. Please call me Gergely, and don’t be fooled by the weird name order. I maintain the following projects:
I’m also involved with Lambdacube as a mentor, and even contributed little bits of its code.