Kirk Rader  1.0-SNAPSHOT
Classes
Package us.rader.tt.app

Generate Markfown output for a formula of the monadic predicate calculus. More...

Classes

class  TT
 Process a well-formed formula of the monadic predicate calculus. More...
 

Detailed Description

Generate Markfown output for a formula of the monadic predicate calculus.

See TT for more information.