Stack Overflow
Stack Overflow

jado
922
reputation
9
21
  • Northern Arizona University
  • Member since January 19 2015
  • 92 profile views
  • Last seen Jul 06 '23 at 18:39

Interested in Programming Language Theory, Type Theory, Metamathematics, Theoretical Physics, and many other fields.