git.iko.soy/Idris-dev
on d689c19 help sign in
Idris-dev/test/basic024/expected
76 lines 642 B history raw
12 : Integer
22 : Int
32 : Bits8
42 : Bits16
52 : Bits32
62 : Bits64
72 : Nat
81 : Integer
91 : Int
101 : Bits8
111 : Bits16
121 : Bits32
131 : Bits64
141 : Nat
150 : Integer
160 : Int
170 : Bits8
180 : Bits16
190 : Bits32
200 : Bits64
210 : Nat
223 : Integer
233 : Int
243 : Bits8
253 : Bits16
263 : Bits32
273 : Bits64
283 : Nat
29-2 : Integer
30-2 : Int
31-1 : Integer
32-1 : Int
330 : Integer
340 : Int
35-3 : Integer
36-3 : Int
37-11861903511836511836 : Integer
38-25643355395 : Integer
4102
420002
4300000002
440000000000000002
4801
490001
5000000001
510000000000000001
5500
560000
5700000000
580000000000000000
6203
630003
6400000003
650000000000000003
67-2
68-2
69-1
70-1
73-3
74-3
75-11861903511836511836
76-25643355395