blob: e4857539c3a118d540a6cb0aff5ca6944f997bdf (
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
45
46
47
48
49
50
51
52
53
54
55
56
57
58
59
60
61
62
63
64
65
66
67
|
---input---
true.
stop :- !.
of (fun F) :- pi x\ of x => of (F x).
match (uvar as Y) :- print Y.
---tokens---
'true' Text
'.' Operator
'\n' Text.Whitespace
'stop' Text
' ' Text.Whitespace
':-' Keyword.Declaration
' ' Text.Whitespace
'!' Keyword.Declaration
'.' Operator
'\n' Text.Whitespace
'of' Text
' ' Text.Whitespace
'(' Text
'fun' Text
' ' Text.Whitespace
'F' Name.Variable
')' Operator
' ' Text.Whitespace
':-' Keyword.Declaration
' ' Text.Whitespace
'pi' Keyword.Declaration
' ' Text.Whitespace
'x' Name.Variable
'\\' Text
' ' Text.Whitespace
'of' Text
' ' Text.Whitespace
'x' Text
' ' Text.Whitespace
'=>' Keyword.Declaration
' ' Text.Whitespace
'of' Text
' ' Text.Whitespace
'(' Text
'F' Name.Variable
' ' Text.Whitespace
'x' Text
')' Operator
'.' Operator
'\n' Text.Whitespace
'match' Text
' ' Text.Whitespace
'(' Text
'uvar' Keyword.Declaration
' ' Text.Whitespace
'as' Keyword.Declaration
' ' Text.Whitespace
'Y' Name.Variable
')' Operator
' ' Text.Whitespace
':-' Keyword.Declaration
' ' Text.Whitespace
'print' Text
' ' Text.Whitespace
'Y' Name.Variable
'.' Operator
'\n' Text.Whitespace
|
