Open Charles-Johnson opened 3 years ago
Currently string literals can appear as output of a command e.g.
label_of a
evaluates as
'a'
Parsing string literals has yet to be implemented. This could be used later to define labelling rules and implement features of Zia using Zia.
Requirements:
Each Zia command needs to contains an even number of quotes or otherwise evaluate to an error
Instead of let a := b relabelling concepts, let (label_of b) -> 'a' can be used.
let a := b
let (label_of b) -> 'a'
Concept labels cannot reduce to strings that contains '(', ''', ')' or ' '
'('
'''
')'
' '
Currently string literals can appear as output of a command e.g.
evaluates as
Parsing string literals has yet to be implemented. This could be used later to define labelling rules and implement features of Zia using Zia.
Requirements:
Each Zia command needs to contains an even number of quotes or otherwise evaluate to an error
Instead of
let a := brelabelling concepts,let (label_of b) -> 'a'can be used.Concept labels cannot reduce to strings that contains
'(',''',')'or' '