git.iko.soy/Idris-dev
on 385dcbf help sign in
Idris-dev/test/primitives001/expected
27 lines 432 B history raw
18
2("abc", "123")
3("abc", "123")
4([1, 2], [3, 4, 5])
5([1, 2], [3, 4, 5])
6ello! here's the thing
722
80
9用的依赖类
10Idris
11[]
12is 是一个通用
14is 是一个通用的依赖类型纯函数式编程语言，其类型系统与 Agda 以及 Epigram 相似。
1548
16Idris 是一个通用的依赖类型纯函
1718
20is is a
22is is a general-purpose purely functional programming language with dependent types.
2385
24Idris is a general
2518