Programmer, loves computer science. a.k.a Zealous believer of Type-level/Functional/Logic programming.
LOVES CATS AND YOU.