Stack Exchange

Vitus

Age: 21

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 accounts reputation activity favorites subscriptions
Top Questions
Top Answers