首页 文库资料 文章资讯  上传文档  发布文章  登录账户

分类

全部后端开发(8)其它语言(8)

语言

全部英语(8)

格式

全部PDF文档 PDF(8)
 
本次搜索耗时 0.075 秒，为您找到相关结果约 8 个.

  • pdf文档 Agda User Manual v2.6.2

    unary numbers see https://github.com/agda/cubical/blob/ master/Cubical/Data/BinNat/BinNat.agda. 3.7.6 Higher inductive types Cubical Agda also lets us directly define higher inductive types as datatypes
    0 码力 | 255 页 | 1.13 MB | 1 年前
    3

  • pdf文档 Agda User Manual v2.6.2.2

    unary numbers see https://github.com/agda/cubical/blob/ master/Cubical/Data/BinNat/BinNat.agda. 3.7.6 Higher inductive types Cubical Agda also lets us directly define higher inductive types as datatypes
    0 码力 | 257 页 | 1.16 MB | 1 年前
    3

  • pdf文档 Agda User Manual v2.6.2.1

    unary numbers see https://github.com/agda/cubical/blob/ master/Cubical/Data/BinNat/BinNat.agda. 3.7.6 Higher inductive types Cubical Agda also lets us directly define higher inductive types as datatypes
    0 码力 | 255 页 | 1.14 MB | 1 年前
    3

  • pdf文档 Agda User Manual v2.6.3

    unary numbers see https://github.com/agda/cubical/blob/ master/Cubical/Data/BinNat/BinNat.agda. 3.7.6 Higher inductive types Cubical Agda also lets us directly define higher inductive types as datatypes
    0 码力 | 288 页 | 1.24 MB | 1 年前
    3

  • pdf文档 Agda User Manual v2.6.4.1

    agda/cubical library or the 1lab. 64 Chapter 3. Language Reference Agda User Manual, Release 2.6.4.1 3.7.6 Higher inductive types Cubical Agda also lets us directly define higher inductive types as datatypes
    0 码力 | 311 页 | 1.38 MB | 1 年前
    3

  • pdf文档 Agda User Manual v2.6.4.3

    and univalence see the files of Glue types and univalence in the agda/cubical library or the 1lab. 3.7.6 Higher inductive types Cubical Agda also lets us directly define higher inductive types as datatypes
    0 码力 | 311 页 | 1.38 MB | 1 年前
    3

  • pdf文档 Agda User Manual v2.6.4.2

    and univalence see the files of Glue types and univalence in the agda/cubical library or the 1lab. 3.7.6 Higher inductive types Cubical Agda also lets us directly define higher inductive types as datatypes
    0 码力 | 311 页 | 1.38 MB | 1 年前
    3

  • pdf文档 Agda User Manual v2.6.4

    master/Cubical/Data/BinNat/BinNat.agda. 64 Chapter 3. Language Reference Agda User Manual, Release 2.6.4 3.7.6 Higher inductive types Cubical Agda also lets us directly define higher inductive types as datatypes
    0 码力 | 313 页 | 1.38 MB | 1 年前
    3
共 8 条
  • 1
前往
页
相关搜索词
AgdaUserManualv26.26.36.4