1. 7
    observational type theory (the motivation) math pigworker.wordpress.com
    puffnfresh avatar via puffnfresh 3 years ago | cached | no comments

  1.