Vitus

Czech Republic

github.com/vituscze

Age: 23

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.

Top Answers
1 2