blob: 038541393723c232156e049c31b9994312311d4f (
plain)
1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
23
24
25
26
27
28
29
30
31
32
33
34
35
36
37
38
39
40
41
42
43
44
|
File "stdin", line 1, characters 0-16:
Warning: There is no debug flag "cbn". [unknown-debug-flag,option]
Debug: [RAKAM] <<forall A : Type, A -> A -> Prop|>>
Debug: [RAKAM] <><><><><>
Debug: [RAKAM] <<forall A : Type, A -> A -> Prop|>>
Debug: [RAKAM] <><><><><>
Debug: [RAKAM] <<?A -> ?A -> Prop|>>
Debug: [RAKAM] <><><><><>
Debug: [RAKAM] <<?A -> ?A -> Prop|>>
Debug: [RAKAM] <><><><><>
Debug: [RAKAM] <<nat -> nat -> nat|>>
Debug: [RAKAM] <><><><><>
Debug: [RAKAM] <<nat -> nat -> nat|>>
Debug: [RAKAM] <><><><><>
Debug: [RAKAM] <<nat -> nat|>>
Debug: [RAKAM] <><><><><>
Debug: [RAKAM] <<nat -> nat|>>
Debug: [RAKAM] <><><><><>
Debug: [RAKAM] <<nat -> nat|>>
Debug: [RAKAM] <><><><><>
Debug: [RAKAM] <<nat -> nat|>>
Debug: [RAKAM] <><><><><>
Debug: [RAKAM] <<nat -> nat|>>
Debug: [RAKAM] <><><><><>
Debug: [RAKAM] <<nat -> nat|>>
Debug: [RAKAM] <><><><><>
Debug: [RAKAM] <<nat -> nat|>>
Debug: [RAKAM] <><><><><>
Debug: [RAKAM] <<nat -> nat|>>
Debug: [RAKAM] <><><><><>
Debug: [RAKAM] <<nat -> nat|>>
Debug: [RAKAM] <><><><><>
Debug: [RAKAM] <<nat -> nat|>>
Debug: [RAKAM] <><><><><>
Debug: [RAKAM] <<nat -> nat|>>
Debug: [RAKAM] <><><><><>
Debug: [RAKAM] <<nat -> nat|>>
Debug: [RAKAM] <><><><><>
Debug: [RAKAM] <<nat -> Prop|>>
Debug: [RAKAM] <><><><><>
Debug: [RAKAM] <<nat -> Prop|>>
Debug: [RAKAM] <><><><><>
2 + 3 = 0
: Prop
|
