-
用Idris实践类型驱动开发. Idris是一门具有依赖类型系统的强大编程语言.
大小：13.03MB | 2021-04-18 17:37:07 -
系列书籍是通向计算机科学的大门, 整套书介绍了什么是可靠软件的研发, 及其与数学的深刻关联. 这套...
大小：857.41KB | 2020-08-17 20:43:39 -
Efficientdataprocessingiscriticalforinteractivevis...
大小：423.63KB | 2019-10-19 01:07:26 -
Linearalgebraisabranchofbothpureandappliedmathemat...
大小：1.9MB | 2019-10-06 22:52:49 -
关于函数式响应式编程的开山之作,提出了EventStream和Behavior的抽象.
大小：218.26KB | 2019-08-01 08:55:22 -
GNUmake中文手册,讲解GNUmake的使用.Linux必学必会系列:)
大小：2.04MB | 2019-07-26 04:30:36 -
小学生测验2.课题说明：向小学1~2年级学生，随机选择两个整数和加减法形成算式要求学生作答。基本功能...
大小：1.96KB | 2019-05-13 02:36:04
Ta的上传资源列表