Welcome to the i++ REPL.

• i — universal iota combinator
• (X Y) — application
• DEF = ... — definition
• import Combinators — load standard combinators