top
new
show
ask
jobs
about
FranchuFranchu
...joined
3 years ago
, and has
151
karma
submissions
/
comments
/
favourites
Type theory is great!
toggle theme