📕 subnode [[@ryan/20200708122541 type_theory]]
in 📚 node [[20200708122541-type_theory]]
📖 stoas
- public document at doc.anagora.org/20200708122541-type_theory
- video call at meet.jit.si/20200708122541-type_theory