文章总数 3
代码之家 › 用户  ›  Lodewijk Bogaards
全部
如何重写:Vect(S(S(n+m)))a->Vect(S(plus n(S m)))a
Lodewijk Bogaards  · 技术社区    · idris  ·  8 年前
完全证明如果列表中的最后一个列表元素不在列表中,则prepending不会使其成为
Lodewijk Bogaards  · 技术社区    · idris  ·  8 年前
如何证明((x::xs)=(y::ys))给定(x=y)&(xs=ys)
Lodewijk Bogaards  · 技术社区    · idris  ·  8 年前
关于   移动版
代码之家 - 一站式码农服务社区
沪ICP备11025650号