Tutorial 2

Step 1: Basic Syntax

Start with fundamental operators: λ(x) → x

Step 2: Pattern Matching

// Example transformation
ω(pattern) { 
    case A → α
    case B → β
}
                    

Step 3: Composite Rules

• Combine patterns using β ⊗ γ
• Recursive definitions: λ(x) ⇒ λ(λ(x))