On Thu, Jul 29, 2021 at 12:53 PM Michael Ballantyne <
michael.ballant...@gmail.com> wrote:
> The second example you give becomes more natural if you've considered
> simpler cases of macros in definition contexts first
>
I agree that breaking the macro into two parts—one of which inserts a
binder
Section 4.5 of Abdulaziz Ghuloum's PhD thesis is the earliest description
I've seen of an algorithm:
https://www.proquest.com/openview/f6a12fd14db7fd3ea85cfebbf72e0bc5
It also does not provide much justification.
The second example you give becomes more natural if you've considered
simpler
Alexis King writes:
> So, my question: when was hygiene for internal definitions first worked out,
> and did it make it into any papers, specifications, or documentation?
> Hopefully someone (probably Matthew) can provide some insight.
I saw an interesting talk about the history of hygenic
3 matches
Mail list logo
