Haskell/Agda enthusiast, Scala developer
Company:Faculty of Mathematics and Physics, Charles University in PragueLocation:Prague