文章总数 5
代码之家 › 用户  ›  Keith Pinson sumit vedi
全部
如何使用Agda标准库的typeclass实例,例如Maybe的应用程序?
Keith Pinson sumit vedi  · 技术社区    · maybe applicative agda typeclass  ·  4 年前
基于Haskell中的字符串映射证明print函数的穷举性
Keith Pinson sumit vedi  · 技术社区    · curry-howard proof-of-correctness proof haskell  ·  6 年前
如何在NIM中触摸文件/更新其在磁盘上的修改时间?
Keith Pinson sumit vedi  · 技术社区    · filemtime nim fileinfo  ·  6 年前
如何从NIM中的主块返回退出代码?
Keith Pinson sumit vedi  · 技术社区    · nim exit-code main return  ·  6 年前
IDRIS中的字符串替换函数
Keith Pinson sumit vedi  · 技术社区    · idris replace string  ·  6 年前
1
关于   移动版
代码之家 - 一站式码农服务社区
沪ICP备11025650号