4 ms·> What about type theory weenies? Are we first graders?by codygman 12y ago> What about type theory weenies? Are we first graders?