wcm nesting

gistfile1.rkt

#lang racket

(require redex
         redex/examples/delim-cont/reduce
         redex/examples/delim-cont/grammar)

(stepper :-> 
         (term (<> () () (% 0  
                            ((λ (x) 
                               (wcm ((5 5)) (x)))
                             (λ () 
                               (wcm ((5 3))
                                    (current-marks 5 0))))
                            (λ (x) x)))))