Kirk Rader  1.0-SNAPSHOT
Formulas of the Monadic Predicate Calculus

Parsing and rendering expressions of a well-known formal language

Overview

The Parsing Symbolic Logic Formulas and TT modules were the "teacher's solutions" to some of the home work I created when mentoring younger co-workers in the principles of object-oriented design and implementation.