amakarov
524
reputation
3
16
Interested in functional programming, type theory, low-level programming and swimming.