2021年11月18日
agda学习笔记--依赖函数/隐式参数/模式匹配
摘要： 发现一个非常不错的资源： https://agda-zh.github.io/PLFA-zh/ 良心翻译啊，界面也简单明了 1.优先级 infixl 6 _+_ infixr 7 _*_ 定义加法是左结合的 优先级6 定义乘法是右结合的 优先级7 依赖函数 (Dependent Functions) 阅读全文
posted @ 2021-11-18 15:57 liankewei123456 阅读(148) 评论(0) 推荐(0) 编辑