Viewing profile — mlechu

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 …

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 …