mirror of
https://github.com/ralsina/tartrazine.git
synced 2024-11-10 13:32:24 +00:00
29 lines
757 B
Plaintext
29 lines
757 B
Plaintext
|
---input---
|
|||
|
|
Ambiv ← { ⟨1,𝕩⟩ ; ⟨2,𝕨,𝕩⟩ }
|
|||
|
|
|
|||
|
|
---tokens---
|
|||
|
|
'Ambiv' Operator
|
|||
|
|
' ' Text.Whitespace
|
|||
|
|
'←' Keyword.Declaration
|
|||
|
|
' ' Text.Whitespace
|
|||
|
|
'{' Keyword.Type
|
|||
|
|
' ' Text.Whitespace
|
|||
|
|
'⟨' Punctuation
|
|||
|
|
'1' Literal.Number
|
|||
|
|
',' Punctuation
|
|||
|
|
'𝕩' Name.Entity
|
|||
|
|
'⟩' Punctuation
|
|||
|
|
' ' Text.Whitespace
|
|||
|
|
';' Name.Entity
|
|||
|
|
' ' Text.Whitespace
|
|||
|
|
'⟨' Punctuation
|
|||
|
|
'2' Literal.Number
|
|||
|
|
',' Punctuation
|
|||
|
|
'𝕨' Name.Entity
|
|||
|
|
',' Punctuation
|
|||
|
|
'𝕩' Name.Entity
|
|||
|
|
'⟩' Punctuation
|
|||
|
|
' ' Text.Whitespace
|
|||
|
|
'}' Keyword.Type
|
|||
|
|
'\n' Text.Whitespace
|