Idris 语言文档 Version 1.3.1奥 奰 奯女 奩 奴 奯奲 她 夬 奡奮 奤 奩 奮 奴 奨 奩 奲 奤 夭 奰 奡奲 奴 她 奬 奩 奢 奲 奡奲 奩 奥 女 央 M e t ad at a 奆 奲 奯奭 奉 奤 奲 奩 女 v0 . 1 2 奴 奨 奥 i P K G 奦 奯奲 奭 奡奴 女 奵 奰 奰 奯奲 奴 女 奡奤 奤 奩 奴 奩 奯奮 奡奬 奭 奥 奴 奡奤 奡奴 奡 奡女 女 奯奣 奩 奡奴 奥 奤 奷 奩 奴 d r i s 语 语 语言 言 言文 文 文档 档 档, 版 版 版本 本 本 1. 3. 1 • -V夬 奯奲 奡奬 奴 奥 奲 奮 奡奴 奩 奶 奥 奬 她 --verbose 奡奮 奤 --V0夬 奷 奩 奬 奬 奲 奥 奰 奯奲 奴 奷 奨 奩 奣 奨 夜 奬 奥 奉 奤 奲 奩 女 奩 女 奣 奵 奲 奲 奥 奮 奴 奬 她 奴 她 奰 奥 奣 奨 奥 奣 奫 奩 奮 奧央 • --V10 码力 | 224 页 | 2.06 MB | 1 年前3
The Idris Tutorial Version 1.0.1e p os i t or y , an d i n t h i r d - p ar t y l i b r ar i e s . M e t ad at a F r om I d r i s v0 . 1 2 t h e i P K G f or m at s u p p or t s ad d i t i on al m e t ad at a as s oc i at e d w i t T E R 6. L A N G U A G E R E F E R E N C E v1. 0 • -V, or al t e r n at i v e l y --verbose an d --V0, w i l l r e p or t w h i c h fi l e I d r i s i s c u r r e n t l y t y p e c h e c k i n g. • --V10 码力 | 223 页 | 1.21 MB | 1 年前3
The Idris Tutorial Version 1.1.0e p os i t or y , an d i n t h i r d - p ar t y l i b r ar i e s . M e t ad at a F r om I d r i s v0 . 1 2 t h e i P K G f or m at s u p p or t s ad d i t i on al m e t ad at a as s oc i at e d w i t T E R 6. L A N G U A G E R E F E R E N C E v1. 0 • -V, or al t e r n at i v e l y --verbose an d --V0, w i l l r e p or t w h i c h fi l e I d r i s i s c u r r e n t l y t y p e c h e c k i n g. • --V10 码力 | 223 页 | 1.21 MB | 1 年前3
The Idris Tutorial Version 0.99.2e p os i t or y , an d i n t h i r d - p ar t y l i b r ar i e s . M e t ad at a F r om I d r i s v0 . 1 2 t h e i P K G f or m at s u p p or t s ad d i t i on al m e t ad at a as s oc i at e d w i t b y s e t t i n g a v e r b os i t y l e v e l . • -V, or al t e r n at i v e l y --verbose an d --V0, w i l l r e p or t w h i c h fi l e I d r i s i s c u r r e n t l y t y p e c h e c k i n g. • --V10 码力 | 224 页 | 1.22 MB | 1 年前3
The Idris Tutorial Version 1.1.1e p os i t or y , an d i n t h i r d - p ar t y l i b r ar i e s . M e t ad at a F r om I d r i s v0 . 1 2 t h e i P K G f or m at s u p p or t s ad d i t i on al m e t ad at a as s oc i at e d w i t T E R 6. L A N G U A G E R E F E R E N C E v1. 0 • -V, or al t e r n at i v e l y --verbose an d --V0, w i l l r e p or t w h i c h fi l e I d r i s i s c u r r e n t l y t y p e c h e c k i n g. • --V10 码力 | 223 页 | 1.21 MB | 1 年前3
The Idris Tutorial Version 1.3.1e p os i t or y , an d i n t h i r d - p ar t y l i b r ar i e s . M e t ad at a F r om I d r i s v0 . 1 2 t h e i P K G f or m at s u p p or t s ad d i t i on al m e t ad at a as s oc i at e d w i t b y s e t t i n g a v e r b os i t y l e v e l . • -V, or al t e r n at i v e l y --verbose an d --V0, w i l l r e p or t w h i c h fi l e I d r i s i s c u r r e n t l y t y p e c h e c k i n g. • --V10 码力 | 230 页 | 1.24 MB | 1 年前3
The Idris Tutorial Version 1.0e p os i t or y , an d i n t h i r d - p ar t y l i b r ar i e s . M e t ad at a F r om I d r i s v0 . 1 2 t h e i P K G f or m at s u p p or t s ad d i t i on al m e t ad at a as s oc i at e d w i t b y s e t t i n g a v e r b os i t y l e v e l . • -V, or al t e r n at i v e l y --verbose an d --V0, w i l l r e p or t w h i c h fi l e I d r i s i s c u r r e n t l y t y p e c h e c k i n g. • --V10 码力 | 223 页 | 1.21 MB | 1 年前3
The Idris Tutorial Version 1.3.0e p os i t or y , an d i n t h i r d - p ar t y l i b r ar i e s . M e t ad at a F r om I d r i s v0 . 1 2 t h e i P K G f or m at s u p p or t s ad d i t i on al m e t ad at a as s oc i at e d w i t b y s e t t i n g a v e r b os i t y l e v e l . • -V, or al t e r n at i v e l y --verbose an d --V0, w i l l r e p or t w h i c h fi l e I d r i s i s c u r r e n t l y t y p e c h e c k i n g. • --V10 码力 | 229 页 | 1.24 MB | 1 年前3
The Idris Tutorial Version 2.3.0e p os i t or y , an d i n t h i r d - p ar t y l i b r ar i e s . M e t ad at a F r om I d r i s v0 . 1 2 t h e i P K G f or m at s u p p or t s ad d i t i on al m e t ad at a as s oc i at e d w i t b y s e t t i n g a v e r b os i t y l e v e l . • -V, or al t e r n at i v e l y --verbose an d --V0, w i l l r e p or t w h i c h fi l e I d r i s i s c u r r e n t l y t y p e c h e c k i n g. • --V10 码力 | 228 页 | 1.23 MB | 1 年前3
The Idris Tutorial Version 0.99e p os i t or y , an d i n t h i r d - p ar t y l i b r ar i e s . M e t ad at a F r om I d r i s v0 . 1 2 t h e i P K G f or m at s u p p or t s ad d i t i on al m e t ad at a as s oc i at e d w i t0 码力 | 182 页 | 1.04 MB | 1 年前3
共 10 条
- 1













