The Idris Tutorial Version 0.9.18= Z | S Nat -- Natural numbers -- (zero and successor) data List a = Nil | (::) a (List a) -- Polymorphic lists The above declarations are taken from the standard library. Unary natural numbers can be0 码力 | 69 页 | 316.20 KB | 1 年前3- The Idris Tutorial Version 0.11= Z | S Nat -- Natural numbers -- (zero and successor) data List a = Nil | (::) a (List a) -- Polymorphic lists The above declarations are taken from the standard library. Unary natural numbers can be0 码力 | 71 页 | 314.20 KB | 1 年前3
- The Idris Tutorial Version 0.9.20.1= Z | S Nat -- Natural numbers -- (zero and successor) data List a = Nil | (::) a (List a) -- Polymorphic lists The above declarations are taken from the standard library. Unary natural numbers can be0 码力 | 71 页 | 316.18 KB | 1 年前3
- The Idris Tutorial
Version 1.3.3= Z | S Nat -- Natural numbers -- (zero and successor) data List a = Nil | (::) a (List a) -- Polymorphic lists T h e ab ov e d e c l ar at i on s ar e t ak e n f r om t h e s t an d ar d l i b r ar y0 码力 | 66 页 | 627.66 KB | 1 年前3
- The Idris Tutorial Version 1.3.4= Z | S Nat -- Natural numbers -- (zero and successor) data List a = Nil | (::) a (List a) -- Polymorphic lists T h e ab ov e d e c l ar at i on s ar e t ak e n f r om t h e s t an d ar d l i b r ar y0 码力 | 66 页 | 627.66 KB | 1 年前3
- The Idris Tutorial Version 0.99= Z | S Nat -- Natural numbers -- (zero and successor) data List a = Nil | (::) a (List a) -- Polymorphic lists T h e ab ov e d e c l ar at i on s ar e t ak e n f r om t h e s t an d ar d l i b r ar y0 码力 | 182 页 | 1.04 MB | 1 年前3
- The Idris Tutorial Version 1.0.1= Z | S Nat -- Natural numbers -- (zero and successor) data List a = Nil | (::) a (List a) -- Polymorphic lists T h e ab ov e d e c l ar at i on s ar e t ak e n f r om t h e s t an d ar d l i b r ar y0 码力 | 223 页 | 1.21 MB | 1 年前3
- The Idris Tutorial Version 1.1.0= Z | S Nat -- Natural numbers -- (zero and successor) data List a = Nil | (::) a (List a) -- Polymorphic lists T h e ab ov e d e c l ar at i on s ar e t ak e n f r om t h e s t an d ar d l i b r ar y0 码力 | 223 页 | 1.21 MB | 1 年前3
- The Idris Tutorial Version 0.99.2= Z | S Nat -- Natural numbers -- (zero and successor) data List a = Nil | (::) a (List a) -- Polymorphic lists T h e ab ov e d e c l ar at i on s ar e t ak e n f r om t h e s t an d ar d l i b r ar y0 码力 | 224 页 | 1.22 MB | 1 年前3
- The Idris Tutorial Version 1.1.1= Z | S Nat -- Natural numbers -- (zero and successor) data List a = Nil | (::) a (List a) -- Polymorphic lists T h e ab ov e d e c l ar at i on s ar e t ak e n f r om t h e s t an d ar d l i b r ar y0 码力 | 223 页 | 1.21 MB | 1 年前3
共 14 条
- 1
- 2