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
|