aniva/Pantograph

Erase macro scopes in sexp binders #124

New issue

Closed

opened 2024-11-19 01:29:10 -08:00 by aniva · 1 comment

aniva commented

2024-11-19 01:29:10 -08:00

Owner

We should erase macro scopes on the binder names of .forallE/.lam/.letE.

We should erase macro scopes on the binder names of `.forallE`/`.lam`/`.letE`.

aniva added the

label

2024-11-19 01:29:10 -08:00

aniva self-assigned this

2024-11-19 01:29:10 -08:00

aniva added this to the v0.3 milestone

2024-11-26 12:31:53 -08:00

aniva referenced this issue

2024-11-26 12:35:38 -08:00

feat: Erase macro scopes in sexp #130

aniva added a new dependency

2024-11-26 12:36:02 -08:00

#130 feat: Erase macro scopes in sexp

aniva commented

2024-12-05 16:43:33 -08:00

Author

Owner

Done #130

Done #130

aniva closed this issue

2024-12-05 16:43:33 -08:00

Sign in to join this conversation.

No labels

part/Environment

pending-measurement

No milestone

No project

No assignees

1 participant

Notifications

Due date

The due date is invalid or out of range. Please use the format "yyyy-mm-dd".

No due date set.

Depends on

#130 feat: Erase macro scopes in sexp

aniva/Pantograph

Reference: aniva/Pantograph#124

No description provided.