diff options
| author | Kai Stevenson <kai@kaistevenson.com> | 2023-06-17 20:20:22 -0700 |
|---|---|---|
| committer | Kai Stevenson <kai@kaistevenson.com> | 2023-06-17 20:20:22 -0700 |
| commit | a9a6750e2b97708c6d324d9c3cf2f5422cfe853e (patch) | |
| tree | bf92fbf4b888ac3201ded131894f05fb56c3e64e | |
| parent | a7d426c3d5b72b57131c5ca2e6efbf0a7c2b8df9 (diff) | |
updated readme
| -rw-r--r-- | README | 8 |
1 files changed, 5 insertions, 3 deletions
@@ -1,7 +1,9 @@ Kai Stevenson Canonical project is at git.aberrantflux.xyz/operetta.git -Operetta is a formal logic interpreter and solver. +Operetta is a propositional logic interpreter and solver. Formal logic is not so different from a programming language. This project was an opportunity for me -to refine the techniques developed in Precedent. This time, I implemented a lexer loosely inspired by -the one used in NoExcess. +to refine the techniques developed in Precedent. (see git.aberrantflux.xyz/precedent.git) This time, I implemented a lexer loosely inspired by the one used in NoExcess, except for the fact that it is stateless. +In fact, nearly all of Operetta is stateless--my line reader being the exception. + +Operetta does not use any external libraries--no ncurses. |