From 43bfe5935b3f1d38775c3bc65262aca5683c0fb5 Mon Sep 17 00:00:00 2001 From: Kai Stevenson Date: Sun, 11 Jun 2023 23:33:40 -0700 Subject: added parsing of justifications --- lexer.c | 8 ++++++++ 1 file changed, 8 insertions(+) (limited to 'lexer.c') diff --git a/lexer.c b/lexer.c index 5fe9e22..be35d85 100644 --- a/lexer.c +++ b/lexer.c @@ -120,6 +120,14 @@ token_t lex_first_token(char** content) { free(s); return init_token(ASSUMPTION, NULL); } + else if (strcmp(s, "i") == 0) { + free(s); + return init_token(INTRODUCTION, NULL); + } + else if (strcmp(s, "e") == 0) { + free(s); + return init_token(ELIMINATION, NULL); + } else if (strcmp(s, "^") == 0) { free(s); return init_token(CONJUNCTION, NULL); -- cgit v1.3.1