From a9a6750e2b97708c6d324d9c3cf2f5422cfe853e Mon Sep 17 00:00:00 2001 From: Kai Stevenson Date: Sat, 17 Jun 2023 20:20:22 -0700 Subject: updated readme --- README | 8 +++++--- 1 file changed, 5 insertions(+), 3 deletions(-) diff --git a/README b/README index 566a01c..cee9e9c 100644 --- a/README +++ b/README @@ -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. -- cgit v1.3.1