git.iko.soy/Idris-dev
on 33166ee help sign in
Idris-dev/test/interactive008/expected
204 lines 1.1 kB history raw
1Idris> Idris> Idris> 1 ::
22 :: 3 :: 4 :: 5 :: ... : List Integer
3Idris> Idris> [1,
4 2,
5 3,
6 4,
7 5,
8 6,
9 7,
10 8,
11 9,
12 10,
13 11,
14 12,
15 13,
16 14,
17 15,
18 16,
19 17,
20 18,
21 19,
22 20,
23 21,
24 22,
25 23,
26 24,
27 25,
28 26,
29 27,
30 28,
31 29,
32 30,
33 31,
34 32,
35 33,
36 34,
37 35,
38 36,
39 37,
40 38,
41 39,
42 40,
43 41,
44 42,
45 43,
46 44,
47 45,
48 46,
49 47,
50 48,
51 49,
52 50,
53 51,
54 52,
55 53,
56 54,
57 55,
58 56,
59 57,
60 58,
61 59,
62 60,
63 61,
64 62,
65 63,
66 64,
67 65,
68 66,
69 67,
70 68,
71 69,
72 70,
73 71,
74 72,
75 73,
76 74,
77 75,
78 76,
79 77,
80 78,
81 79,
82 80,
83 81,
84 82,
85 83,
86 84,
87 85,
88 86,
89 87,
90 88,
91 89,
92 90,
93 91,
94 92,
95 93,
96 94,
97 95,
98 96,
99 97,
100 98,
101 99,
102 100] : List Integer
103Idris> Idris> ... : ...
104Idris> Idris> [1,
105 2,
106 3,
107 4,
108 5,
109 6,
110 7,
111 8,
112 9,
113 10,
114 11,
115 12,
116 13,
117 14,
118 15,
119 16,
120 17,
121 18,
122 19,
123 20,
124 21,
125 22,
126 23,
127 24,
128 25,
129 26,
130 27,
131 28,
132 29,
133 30,
134 31,
135 32,
136 33,
137 34,
138 35,
139 36,
140 37,
141 38,
142 39,
143 40,
144 41,
145 42,
146 43,
147 44,
148 45,
149 46,
150 47,
151 48,
152 49,
153 50,
154 51,
155 52,
156 53,
157 54,
158 55,
159 56,
160 57,
161 58,
162 59,
163 60,
164 61,
165 62,
166 63,
167 64,
168 65,
169 66,
170 67,
171 68,
172 69,
173 70,
174 71,
175 72,
176 73,
177 74,
178 75,
179 76,
180 77,
181 78,
182 79,
183 80,
184 81,
185 82,
186 83,
187 84,
188 85,
189 86,
190 87,
191 88,
192 89,
193 90,
194 91,
195 92,
196 93,
197 94,
198 95,
199 96,
200 97,
201 98,
202 99,
203 100] : List Integer
204Idris> Bye bye