mrkgnao
mrkgnao avatar
Active user
1 year ago by invitation from gambogi
0, averaging 0.00 per story/comment
0
1

(1998–) Fancy number theorist-to-be (hopefully), Haskeller, something of a dependent typing evangelist, and Miles Davis fan (in roughly that order) chow soham at gmail, https://mrkgnao.github.io