CPL - Categorical Programming Language

Quick Start

Try these commands in the terminal:

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

📚 New to CPL? Check out the Tutorial (English) | チュートリアル (日本語)