mirror of
https://github.com/ralsina/tartrazine.git
synced 2024-11-10 13:32:24 +00:00
11 lines
174 B
Plaintext
11 lines
174 B
Plaintext
|
---input---
|
||
|
|
123 ∀ x
|
||
|
|
|
||
|
|
---tokens---
|
||
|
|
'123' Literal.Number.Integer
|
||
|
|
' ' Text
|
||
|
|
'∀' Operator
|
||
|
|
' ' Text
|
||
|
|
'x' Name
|
||
|
|
'\n' Text
|