The Idris Tutorial Version 0.11/Maths/NumOps.idr Type checking ./Test/NumOps.idr Type checking /var/folders/63/np5g0d5j54x1s0z12rf41wxm0000gp/T/idristests144128232716531729.idr Test Passed Test Passed Note how both tests have reported success0 码力 | 71 页 | 314.20 KB | 1 年前3- The Idris Tutorial Version 0.9.20.1/Maths/NumOps.idr Type checking ./Test/NumOps.idr Type checking /var/folders/63/np5g0d5j54x1s0z12rf41wxm0000gp/T/idristests144128232716531729.idr Test Passed Test Passed Note how both tests have reported success0 码力 | 71 页 | 316.18 KB | 1 年前3
- The Idris Tutorial
Version 1.3.3/Maths/NumOps.idr Type checking ./Test/NumOps.idr Type checking /var/folders/63/np5g0d5j54x1s0z12rf41wxm0000gp/T/idristests144128232716531729.idr ( c o n t i n u e s o n n e x t p a g e ) 36 ( c o n t i n u0 码力 | 66 页 | 627.66 KB | 1 年前3
- The Idris Tutorial Version 1.3.4/Maths/NumOps.idr Type checking ./Test/NumOps.idr Type checking /var/folders/63/np5g0d5j54x1s0z12rf41wxm0000gp/T/idristests144128232716531729.idr ( c o n t i n u e s o n n e x t p a g e ) 36 ( c o n t i n u0 码力 | 66 页 | 627.66 KB | 1 年前3
- The Idris Tutorial Version 0.99/Maths/NumOps.idr Type checking ./Test/NumOps.idr Type checking /var/folders/63/np5g0d5j54x1s0z12rf41wxm0000gp/T/idristests144128232716531729.idr Test Passed Test Passed Not e h ow b ot h t e s t s h av e r e0 码力 | 182 页 | 1.04 MB | 1 年前3
- Idris 语言文档 Version 1.3.1/Maths/NumOps.idr Type checking ./Test/NumOps.idr Type checking /var/folders/63/np5g0d5j54x1s0z12rf41wxm0000gp/T/idristests144128232716531729.idr Test Passed Test Passed 注意当我们使用 assertEq 和 assertNoEq 函数测试时，它们是如何通过打印0 码力 | 224 页 | 2.06 MB | 1 年前3
- The Idris Tutorial Version 1.0.1/Maths/NumOps.idr Type checking ./Test/NumOps.idr Type checking /var/folders/63/np5g0d5j54x1s0z12rf41wxm0000gp/T/idristests144128232716531729.idr Test Passed Test Passed Not e h ow b ot h t e s t s h av e r e0 码力 | 223 页 | 1.21 MB | 1 年前3
- The Idris Tutorial Version 1.1.0/Maths/NumOps.idr Type checking ./Test/NumOps.idr Type checking /var/folders/63/np5g0d5j54x1s0z12rf41wxm0000gp/T/idristests144128232716531729.idr Test Passed Test Passed Not e h ow b ot h t e s t s h av e r e0 码力 | 223 页 | 1.21 MB | 1 年前3
- The Idris Tutorial Version 0.99.2/Maths/NumOps.idr Type checking ./Test/NumOps.idr Type checking /var/folders/63/np5g0d5j54x1s0z12rf41wxm0000gp/T/idristests144128232716531729.idr Test Passed 35 C H A P T E R 1. T H E I D R I S T U T O R I A0 码力 | 224 页 | 1.22 MB | 1 年前3
- The Idris Tutorial Version 1.1.1/Maths/NumOps.idr Type checking ./Test/NumOps.idr Type checking /var/folders/63/np5g0d5j54x1s0z12rf41wxm0000gp/T/idristests144128232716531729.idr Test Passed Test Passed Not e h ow b ot h t e s t s h av e r e0 码力 | 223 页 | 1.21 MB | 1 年前3
共 14 条
- 1
- 2