git.iko.soy/Idris-dev
on d689c19 help sign in
Idris-dev/test/basic024/input
46 lines 970 B history raw
1:x div (the Integer 5) 2
2:x div (the Int 5) 2
3:x div (the Bits8 5) 2
4:x div (the Bits16 5) 2
5:x div (the Bits32 5) 2
6:x div (the Bits64 5) 2
7:x div (the Nat 5) 2
9:x mod (the Integer 5) 2
10:x mod (the Int 5) 2
11:x mod (the Bits8 5) 2
12:x mod (the Bits16 5) 2
13:x mod (the Bits32 5) 2
14:x mod (the Bits64 5) 2
15:x mod (the Nat 5) 2
17:x div (the Integer 3) 5
18:x div (the Int 3) 5
19:x div (the Bits8 3) 5
20:x div (the Bits16 3) 5
21:x div (the Bits32 3) 5
22:x div (the Bits64 3) 5
23:x div (the Nat 3) 5
25:x mod (the Integer 3) 5
26:x mod (the Int 3) 5
27:x mod (the Bits8 3) 5
28:x mod (the Bits16 3) 5
29:x mod (the Bits32 3) 5
30:x mod (the Bits64 3) 5
31:x mod (the Nat 3) 5
33:x div (the Integer (-5)) 2
34:x div (the Int (-5)) 2
36:x mod (the Integer (-5)) 2
37:x mod (the Int (-5)) 2
39:x div (the Integer (-3)) 5
40:x div (the Int (-3)) 5
42:x mod (the Integer (-3)) 5
43:x mod (the Int (-3)) 5
45:x div (-432642342742368327462378462387) 36473264372
46:x mod (-432642342742368327462378462387) 36473264372