类型论初见.md

#Misc #Theory #Type

• 类型 ==> 原子
• 元组 ==> 合取
• 函数 ==> 蕴含关系