Kirk Rader  1.0-SNAPSHOT
Packages
Package us.rader.tt

Demonstrate object-oriented design and implementation using a simple Java class library. More...

Packages

package  app
 Generate Markfown output for a formula of the monadic predicate calculus.
 
package  formula
 Processor for well-formed formulas of the monadic predicate calculus.
 

Detailed Description

Demonstrate object-oriented design and implementation using a simple Java class library.