@sproutsocial Kraków Graduated master engineer in Computer Science at AGH UST, Kraków. In love with functional programming, type theory and dependently typed languages.
Kamil Tomala