/documentation/research/Type theory/

• ../
• Dependent types.md