San Francisco, CAUSA
June 28, 2013
Great interest and mostly private projects in Haskell, a slight familiarity with Agda, a bit of (S)ML, and a high tendency to use a functional programming style wherever I'm able to.
Mostly Haskell, a little bit of Agda, though I'm open for other languages as well.
Software-Engineer in Munich with a high affinity for functional programming and modern languages in general.
Very good, apparently.