I am a scala and haskell developer with interest in type systems and mathematics. Studying CS in Ljubljana.