Kamil Tomala

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