>> (define-language test >> (e x (λ x e) (e e)) >> (x variable-not-otherwise-mentioned) >> (A hole >> (in-hole (A e) (λ x A))))
Cool, that works! I didnt think to do that with in-hole. Can you explain how it keeps the number of lambdas and arguments the same though? I'm cant quite figure out what's going on. _________________________________________________ For list-related administrative tasks: http://lists.racket-lang.org/listinfo/dev
