CPL - Categorical Programming Language

Quick Start

Try these commands in the terminal:

• simp pi1.pair(0, s.0) - Evaluate an expression
• let uncurry(f) = eval . prod(f, I) - Define a function
• load samples/examples.cpl - Load a built-in sample file
• load - Open file picker to load a local file
• edit - Enter multi-line editing mode (end with semicolon)
• help - Show all available commands