GuiltyDolphin
Stats
101
reputation
0
reached
0
answers
0
questions
About

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