Post Correspondence Programming Language
Welcome to the API documentation for PCPL and utm.
For an introduction to PCPL, please see http://davidlazar.org/PCPL.
Modules
- Language
- Language.PCPLPCPL-0.1.0
- Language.PCPL.CompileTMPCPL-0.1.0
- Language.PCPL.PrettyPCPL-0.1.0
- Language.PCPL.SolverPCPL-0.1.0
- Language.PCPL.SyntaxPCPL-0.1.0
- UTM
- Language.UTM.Syntaxutm-0.1.0
- Language.PCPLPCPL-0.1.0