Stack Overflow
Stack Overflow

GuiltyDolphin
728
reputation
1
7
10
  • London, UK
  • Member since April 19 2014
  • 71 profile views
  • Last seen Sep 19 '21 at 15:16

PhD student studying ordered type theories, Linux enthusiast, programmer, and DuckDuckGo Community Leader.