diff options
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. |