CPL - Categorical Programming LanguageQuick 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 - Re
