diff options
| author | Kai Stevenson <kai@kaistevenson.com> | 2023-06-12 03:19:31 -0700 |
|---|---|---|
| committer | Kai Stevenson <kai@kaistevenson.com> | 2023-06-12 03:19:31 -0700 |
| commit | 88a8012eeb81be74a6bcaccfc514fd134a85c71a (patch) | |
| tree | 5f0cfdc75f058588f69ae9af1d87f8f9e8f15748 /README | |
| parent | 43bfe5935b3f1d38775c3bc65262aca5683c0fb5 (diff) | |
added some comments, added a license and a readme
Diffstat (limited to 'README')
| -rw-r--r-- | README | 7 |
1 files changed, 7 insertions, 0 deletions
@@ -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. |