Vitus
11,822
reputation
7
37
64
Currently studying computer science at Faculty of Mathematics and Physics, Charles University, Prague.
I'm interested in functional programming (mainly Haskell and Agda), formal logic and type theory.