TypeableIO
Afonso Rafael (Gafanhoto)
Alf0nso
Compilers, Functional Languages, Linux and too many projects I end up not finishing
Barcelona Supercomputing Center Salamanca
Philipp Hagenlocher
phagenlocher
I love Haskell and like most other programming languages. Simplicity over complexity.
Natuvion Freiburg im Breisgau
Rodrigo Mesquita
alt-romes
GHC contributor, working on linear types, equality saturation, and in whatever else
Well-Typed LLP Portugal
