About me

Interested in functional programming (Haskell,agda), compilers (GCC) and metatheory for dependent types.