From 88a8012eeb81be74a6bcaccfc514fd134a85c71a Mon Sep 17 00:00:00 2001 From: Kai Stevenson Date: Mon, 12 Jun 2023 03:19:31 -0700 Subject: added some comments, added a license and a readme --- README | 7 +++++++ 1 file changed, 7 insertions(+) create mode 100644 README (limited to 'README') diff --git a/README b/README new file mode 100644 index 0000000..566a01c --- /dev/null +++ b/README @@ -0,0 +1,7 @@ +Kai Stevenson +Canonical project is at git.aberrantflux.xyz/operetta.git + +Operetta is a formal 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. -- cgit v1.3.1