Vitus
11,640
reputation
7
35
63
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.