文章总数 2
代码之家 › 用户  ›  Del
全部
当定义命中函数时,如何处理更高的归纳情况?
Del  · 技术社区    · cubical-type-theory homotopy-type-theory agda  ·  5 年前
如何声明模块实现了一个接口,以便签名中的一个类型与另一个类型相同?
Del  · 技术社区    · functor ocaml module  ·  6 年前
关于   移动版
代码之家 - 一站式码农服务社区
沪ICP备11025650号