/home/ksqsf
twitter
github
rss
type_theory
有趣的依赖类型
Feb 18, 2019
有趣的依赖类型