| From: Stephen Chang (stchang at ccs.neu.edu) Date: Mon May 2 16:30:51 EDT 2011 |
|
>> (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.
| Posted on the dev mailing list. |
|
![[logo]](/logo.png){kind=logo}