diff options
| author | Kai Stevenson <kai@kaistevenson.com> | 2023-06-13 00:56:14 -0700 |
|---|---|---|
| committer | Kai Stevenson <kai@kaistevenson.com> | 2023-06-13 00:56:14 -0700 |
| commit | 3bd120957d570756d396db8a112113f2ffb8f33b (patch) | |
| tree | 3d588b9ef9a5e7bd625938183d45edb58386b9a7 /lexer.h | |
| parent | 88a8012eeb81be74a6bcaccfc514fd134a85c71a (diff) | |
added negation
Diffstat (limited to 'lexer.h')
| -rw-r--r-- | lexer.h | 1 |
1 files changed, 1 insertions, 0 deletions
@@ -11,6 +11,7 @@ typedef enum TokenType { JUSTIFICATION, PREMISE, ASSUMPTION, + NEGATION, CONJUNCTION, DISJUNCTION, IMPLICATION, |