@robby redex generates unbound variable references when i use redex-check… even when i have binding-forms i’m doing it wrong?

@robby i did it manually, no biggie, but i’m curious if there’s something i could have told redex or if that’s a future improvement

The naive generator currently ignores the binding forms, that’s right. I think that isn’t fundamental.

(But even if it paid attention to them it should still occasionally generate terms with free vars.)