Closed McTano closed 5 years ago
In order to facilitate easy communication with the Carnap backed, our TreeNode type should match the JSON format expected by Carnap, and roughly correspond to the names used by the haskell data structure used to represent a tableau.
We need to rename:
formula => label children => forest
and add an additional field rule: string.
rule: string
In order to facilitate easy communication with the Carnap backed, our TreeNode type should match the JSON format expected by Carnap, and roughly correspond to the names used by the haskell data structure used to represent a tableau.
We need to rename:
and add an additional field
rule: string.