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

分类

全部后端开发(10)Idris(10)

语言

全部英语(9)中文（简体）(1)

格式

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

  • pdf文档 The Idris Tutorial Version 0.99

    Nat -> Type) -> -- Property to show (P Z) -> -- Base case ((k : Nat) -> P k -> P (S k)) -> -- Inductive step (x : Nat) -> -- Show for all x P x nat_induction P p_Z p_S Z = p_Z nat_induction P p_Z p_S plus_ind n m = nat_induction (\x => Nat) m -- Base case, plus_ind Z m (\k, k_rec => S k_rec) -- Inductive step plus_ind (S k) m -- where k_rec = plus_ind k m n T o p r ov e t h at plus n m = plus m n
    0 码力 | 182 页 | 1.04 MB | 1 年前
    3

  • pdf文档 Idris 语言文档 Version 1.3.1

    Nat -> Type) -> -- Property to show (P Z) -> -- Base case ((k : Nat) -> P k -> P (S k)) -> -- Inductive step (x : Nat) -> -- Show for all x P x nat_induction P p_Z p_S Z = p_Z nat_induction P p_Z p_S plus_ind n m = nat_induction (\x => Nat) m -- Base case, plus_ind Z m (\k, k_rec => S k_rec) -- Inductive step plus_ind (S k) m -- where k_rec = plus_ind k m n 奔 奯 奰 奲 奯奶 奥 奴 奨 奡奴 plus n m = plus m n
    0 码力 | 224 页 | 2.06 MB | 1 年前
    3

  • pdf文档 The Idris Tutorial Version 1.0.1

    Nat -> Type) -> -- Property to show (P Z) -> -- Base case ((k : Nat) -> P k -> P (S k)) -> -- Inductive step (x : Nat) -> -- Show for all x P x nat_induction P p_Z p_S Z = p_Z nat_induction P p_Z p_S plus_ind n m = nat_induction (\x => Nat) m -- Base case, plus_ind Z m (\k, k_rec => S k_rec) -- Inductive step plus_ind (S k) m -- where k_rec = plus_ind k m n T o p r ov e t h at plus n m = plus m n
    0 码力 | 223 页 | 1.21 MB | 1 年前
    3

  • pdf文档 The Idris Tutorial Version 1.1.0

    Nat -> Type) -> -- Property to show (P Z) -> -- Base case ((k : Nat) -> P k -> P (S k)) -> -- Inductive step (x : Nat) -> -- Show for all x P x nat_induction P p_Z p_S Z = p_Z nat_induction P p_Z p_S plus_ind n m = nat_induction (\x => Nat) m -- Base case, plus_ind Z m (\k, k_rec => S k_rec) -- Inductive step plus_ind (S k) m -- where k_rec = plus_ind k m n T o p r ov e t h at plus n m = plus m n
    0 码力 | 223 页 | 1.21 MB | 1 年前
    3

  • pdf文档 The Idris Tutorial Version 0.99.2

    Nat -> Type) -> -- Property to show (P Z) -> -- Base case ((k : Nat) -> P k -> P (S k)) -> -- Inductive step (x : Nat) -> -- Show for all x P x nat_induction P p_Z p_S Z = p_Z nat_induction P p_Z p_S plus_ind n m = nat_induction (\x => Nat) m -- Base case, plus_ind Z m (\k, k_rec => S k_rec) -- Inductive step plus_ind (S k) m -- where k_rec = plus_ind k m n T o p r ov e t h at plus n m = plus m n
    0 码力 | 224 页 | 1.22 MB | 1 年前
    3

  • pdf文档 The Idris Tutorial Version 1.1.1

    Nat -> Type) -> -- Property to show (P Z) -> -- Base case ((k : Nat) -> P k -> P (S k)) -> -- Inductive step (x : Nat) -> -- Show for all x P x nat_induction P p_Z p_S Z = p_Z nat_induction P p_Z p_S plus_ind n m = nat_induction (\x => Nat) m -- Base case, plus_ind Z m (\k, k_rec => S k_rec) -- Inductive step plus_ind (S k) m -- where k_rec = plus_ind k m n T o p r ov e t h at plus n m = plus m n
    0 码力 | 223 页 | 1.21 MB | 1 年前
    3

  • pdf文档 The Idris Tutorial Version 1.3.1

    Nat -> Type) -> -- Property to show (P Z) -> -- Base case ((k : Nat) -> P k -> P (S k)) -> -- Inductive step (x : Nat) -> -- Show for all x P x nat_induction P p_Z p_S Z = p_Z nat_induction P p_Z p_S plus_ind n m = nat_induction (\x => Nat) m -- Base case, plus_ind Z m (\k, k_rec => S k_rec) -- Inductive step plus_ind (S k) m -- where k_rec = plus_ind k m n T o p r ov e t h at plus n m = plus m n
    0 码力 | 230 页 | 1.24 MB | 1 年前
    3

  • pdf文档 The Idris Tutorial Version 1.0

    Nat -> Type) -> -- Property to show (P Z) -> -- Base case ((k : Nat) -> P k -> P (S k)) -> -- Inductive step (x : Nat) -> -- Show for all x P x nat_induction P p_Z p_S Z = p_Z nat_induction P p_Z p_S plus_ind n m = nat_induction (\x => Nat) m -- Base case, plus_ind Z m (\k, k_rec => S k_rec) -- Inductive step plus_ind (S k) m -- where k_rec = plus_ind k m n T o p r ov e t h at plus n m = plus m n
    0 码力 | 223 页 | 1.21 MB | 1 年前
    3

  • pdf文档 The Idris Tutorial Version 1.3.0

    Nat -> Type) -> -- Property to show (P Z) -> -- Base case ((k : Nat) -> P k -> P (S k)) -> -- Inductive step (x : Nat) -> -- Show for all x P x nat_induction P p_Z p_S Z = p_Z nat_induction P p_Z p_S plus_ind n m = nat_induction (\x => Nat) m -- Base case, plus_ind Z m (\k, k_rec => S k_rec) -- Inductive step plus_ind (S k) m -- where k_rec = plus_ind k m n T o p r ov e t h at plus n m = plus m n
    0 码力 | 229 页 | 1.24 MB | 1 年前
    3

  • pdf文档 The Idris Tutorial Version 2.3.0

    Nat -> Type) -> -- Property to show (P Z) -> -- Base case ((k : Nat) -> P k -> P (S k)) -> -- Inductive step (x : Nat) -> -- Show for all x P x nat_induction P p_Z p_S Z = p_Z nat_induction P p_Z p_S plus_ind n m = nat_induction (\x => Nat) m -- Base case, plus_ind Z m (\k, k_rec => S k_rec) -- Inductive step plus_ind (S k) m -- where k_rec = plus_ind k m n T o p r ov e t h at plus n m = plus m n
    0 码力 | 228 页 | 1.23 MB | 1 年前
    3
共 10 条
  • 1
前往
页
相关搜索词
TheIdrisTutorialVersion0.99函数式编程语言HaskellOCaml1.01.11.32.3