Y
HN Search
Hacker News Search
new
|
comments
|
top
|
jobs
mlechu
searching PlanetScale…
1.
▲
2.
▲
3.
▲
4.
▲
5.
▲
6.
▲
3 ms
·
1.
▲
by
mlechu
3mo ago
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 c
2.
▲
by
mlechu
1y ago
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 pledges are unhelpful, GP