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

分类

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

语言

全部英语(47)中文（简体）(3)

格式

全部PDF文档 PDF(35)其他文档 其他(15)
 
本次搜索耗时 0.047 秒，为您找到相关结果约 50 个.

  • epub文档 Agda User Manual v2.5.2

    NATLESS _<_ #-} div-helper : Nat → Nat → Nat → Nat → Nat div-helper k m zero j = k div-helper k m (suc n) zero = div-helper (suc k) m n m div-helper k m (suc n) (suc j) = div-helper k m n j j {-# BUILTIN NATDIVSUCAUX div-helper #-} mod-helper : Nat → Nat → Nat → Nat → Nat mod-helper k m zero j = k mod-helper k m (suc n) zero = mod-helper 0 m n m mod-helper k m (suc n) (suc j) functions for defining natural number division and modulo operations, and satisfy the properties div n (suc m) ≡ div-helper 0 m n m mod n (suc m) ≡ mod-helper 0 m n m Integers module Agda.Builtin.Int Built-in
    0 码力 | 151 页 | 152.49 KB | 1 年前
    3

  • pdf文档 Agda User Manual v2.5.2

    BUILTIN NATLESS _<_ #-} div-helper : Nat → Nat → Nat → Nat → Nat div-helper k m zero j = k div-helper k m (suc n) zero = div-helper (suc k) m n m div-helper k m (suc n) (suc j) = div-helper k m n j {-# BUILTIN BUILTIN NATDIVSUCAUX div-helper #-} mod-helper : Nat → Nat → Nat → Nat → Nat mod-helper k m zero j = k mod-helper k m (suc n) zero = mod-helper 0 m n m mod-helper k m (suc n) (suc j) = mod-helper (suc functions for defining natural number division and modulo operations, and satisfy the properties div n (suc m) div-helper 0 m n m mod n (suc m) mod-helper 0 m n m 10 Chapter 3. Language Reference Agda Documentation
    0 码力 | 107 页 | 510.49 KB | 1 年前
    3

  • pdf文档 Agda User Manual v2.5.3

    BUILTIN NATLESS _<_ #-} div-helper : Nat → Nat → Nat → Nat → Nat div-helper k m zero j = k div-helper k m (suc n) zero = div-helper (suc k) m n m div-helper k m (suc n) (suc j) = div-helper k m n j {-# BUILTIN BUILTIN NATDIVSUCAUX div-helper #-} mod-helper : Nat → Nat → Nat → Nat → Nat mod-helper k m zero j = k mod-helper k m (suc n) zero = mod-helper 0 m n m mod-helper k m (suc n) (suc j) = mod-helper (suc functions for defining natural number division and modulo operations, and satisfy the properties div n (suc m) div-helper 0 m n m mod n (suc m) mod-helper 0 m n m 10 Chapter 3. Language Reference Agda Documentation
    0 码力 | 135 页 | 600.40 KB | 1 年前
    3

  • epub文档 Agda User Manual v2.5.3

    NATLESS _<_ #-} div-helper : Nat → Nat → Nat → Nat → Nat div-helper k m zero j = k div-helper k m (suc n) zero = div-helper (suc k) m n m div-helper k m (suc n) (suc j) = div-helper k m n j j {-# BUILTIN NATDIVSUCAUX div-helper #-} mod-helper : Nat → Nat → Nat → Nat → Nat mod-helper k m zero j = k mod-helper k m (suc n) zero = mod-helper 0 m n m mod-helper k m (suc n) (suc j) functions for defining natural number division and modulo operations, and satisfy the properties div n (suc m) ≡ div-helper 0 m n m mod n (suc m) ≡ mod-helper 0 m n m Integers module Agda.Builtin.Int Built-in
    0 码力 | 185 页 | 185.00 KB | 1 年前
    3

  • epub文档 Agda User Manual v2.5.4.2

    NATLESS _<_ #-} div-helper : Nat → Nat → Nat → Nat → Nat div-helper k m zero j = k div-helper k m (suc n) zero = div-helper (suc k) m n m div-helper k m (suc n) (suc j) = div-helper k m n j j {-# BUILTIN NATDIVSUCAUX div-helper #-} mod-helper : Nat → Nat → Nat → Nat → Nat mod-helper k m zero j = k mod-helper k m (suc n) zero = mod-helper 0 m n m mod-helper k m (suc n) (suc j) functions for defining natural number division and modulo operations, and satisfy the properties div n (suc m) ≡ div-helper 0 m n m mod n (suc m) ≡ mod-helper 0 m n m Machine words module Agda.Builtin.Word
    0 码力 | 216 页 | 207.61 KB | 1 年前
    3

  • pdf文档 Agda User Manual v2.5.4

    BUILTIN NATLESS _<_ #-} div-helper : Nat → Nat → Nat → Nat → Nat div-helper k m zero j = k div-helper k m (suc n) zero = div-helper (suc k) m n m div-helper k m (suc n) (suc j) = div-helper k m n j {-# BUILTIN BUILTIN NATDIVSUCAUX div-helper #-} mod-helper : Nat → Nat → Nat → Nat → Nat mod-helper k m zero j = k mod-helper k m (suc n) zero = mod-helper 0 m n m mod-helper k m (suc n) (suc j) = mod-helper (suc functions for defining natural number division and modulo operations, and satisfy the properties div n (suc m) div-helper 0 m n m mod n (suc m) mod-helper 0 m n m 14 Chapter 3. Language Reference Agda User
    0 码力 | 155 页 | 668.67 KB | 1 年前
    3

  • pdf文档 Agda User Manual v2.5.4.1

    BUILTIN NATLESS _<_ #-} div-helper : Nat → Nat → Nat → Nat → Nat div-helper k m zero j = k div-helper k m (suc n) zero = div-helper (suc k) m n m div-helper k m (suc n) (suc j) = div-helper k m n j {-# BUILTIN BUILTIN NATDIVSUCAUX div-helper #-} mod-helper : Nat → Nat → Nat → Nat → Nat mod-helper k m zero j = k mod-helper k m (suc n) zero = mod-helper 0 m n m mod-helper k m (suc n) (suc j) = mod-helper (suc functions for defining natural number division and modulo operations, and satisfy the properties div n (suc m) div-helper 0 m n m mod n (suc m) mod-helper 0 m n m 14 Chapter 3. Language Reference Agda User
    0 码力 | 155 页 | 668.90 KB | 1 年前
    3

  • epub文档 Agda User Manual v2.5.4.1

    NATLESS _<_ #-} div-helper : Nat → Nat → Nat → Nat → Nat div-helper k m zero j = k div-helper k m (suc n) zero = div-helper (suc k) m n m div-helper k m (suc n) (suc j) = div-helper k m n j j {-# BUILTIN NATDIVSUCAUX div-helper #-} mod-helper : Nat → Nat → Nat → Nat → Nat mod-helper k m zero j = k mod-helper k m (suc n) zero = mod-helper 0 m n m mod-helper k m (suc n) (suc j) functions for defining natural number division and modulo operations, and satisfy the properties div n (suc m) ≡ div-helper 0 m n m mod n (suc m) ≡ mod-helper 0 m n m Machine words module Agda.Builtin.Word
    0 码力 | 216 页 | 207.64 KB | 1 年前
    3

  • pdf文档 Agda User Manual v2.5.4.2

    BUILTIN NATLESS _<_ #-} div-helper : Nat → Nat → Nat → Nat → Nat div-helper k m zero j = k div-helper k m (suc n) zero = div-helper (suc k) m n m div-helper k m (suc n) (suc j) = div-helper k m n j {-# BUILTIN BUILTIN NATDIVSUCAUX div-helper #-} mod-helper : Nat → Nat → Nat → Nat → Nat mod-helper k m zero j = k mod-helper k m (suc n) zero = mod-helper 0 m n m mod-helper k m (suc n) (suc j) = mod-helper (suc functions for defining natural number division and modulo operations, and satisfy the properties div n (suc m) div-helper 0 m n m mod n (suc m) mod-helper 0 m n m 14 Chapter 3. Language Reference Agda User
    0 码力 | 155 页 | 668.75 KB | 1 年前
    3

  • epub文档 Agda User Manual v2.5.4

    NATLESS _<_ #-} div-helper : Nat → Nat → Nat → Nat → Nat div-helper k m zero j = k div-helper k m (suc n) zero = div-helper (suc k) m n m div-helper k m (suc n) (suc j) = div-helper k m n j j {-# BUILTIN NATDIVSUCAUX div-helper #-} mod-helper : Nat → Nat → Nat → Nat → Nat mod-helper k m zero j = k mod-helper k m (suc n) zero = mod-helper 0 m n m mod-helper k m (suc n) (suc j) functions for defining natural number division and modulo operations, and satisfy the properties div n (suc m) ≡ div-helper 0 m n m mod n (suc m) ≡ mod-helper 0 m n m Machine words module Agda.Builtin.Word
    0 码力 | 216 页 | 207.63 KB | 1 年前
    3
共 50 条
  • 1
  • 2
  • 3
  • 4
  • 5
前往
页
相关搜索词
AgdaUserManualv25.25.35.4