permit post-processing lambdas #13

Closed
opened 6 years ago by mbutterick · 1 comments
mbutterick commented 6 years ago (Migrated from github.com)

rule : pat0 pat1 pat2 => (λ (stx) (do-something stx))

`rule : pat0 pat1 pat2 => (λ (stx) (do-something stx))`
mbutterick commented 5 years ago (Migrated from github.com)

This clutters the notation and duplicates what the macro expander is going to do anyhow.

This clutters the notation and duplicates what the macro expander is going to do anyhow.
Sign in to join this conversation.
No Milestone
No project
No Assignees
1 Participants
Notifications
Due Date
The due date is invalid or out of range. Please use the format 'yyyy-mm-dd'.

No due date set.

Dependencies

No dependencies set.

Reference: mbutterick/brag#13
Loading…
There is no content yet.