slides:TheDevelopmentOfDependentTypes
B 站视频:【技术分享】Dependent Type最近的一些发展