@alexmiller Adding gen/let to the spec gen ns would be quite helpful. It basically a copy paste (unless there's some smarter way to dynamically expose a macro). We use gen/let all over the place via a helper ns. We cannot require test.check because we don't want it on the classpath at runtime.

because you need macros at compile time, I don't think you can dynamically include it the way we dynamically load the other functions from gen

there is actually a ticket for this though with a patch, but I don't remember if it just recreates the macro or what