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.