I don't think this is true. Lean has hygienic macros, but doesn't appear to have local macros like Racket does; the thing called "local macro" restricts a macro's use to a certain region, but the macro definition can't…
Agree that time spent preventing cheating is preferable to time spent detecting or punishing cheating, and that all are terrible distractions from time spent actually teaching. In response to OP saying that honor…
I don't think this is true. Lean has hygienic macros, but doesn't appear to have local macros like Racket does; the thing called "local macro" restricts a macro's use to a certain region, but the macro definition can't…
Agree that time spent preventing cheating is preferable to time spent detecting or punishing cheating, and that all are terrible distractions from time spent actually teaching. In response to OP saying that honor…