allow "fst e"/"snd e" as an application head #34

New Issue

Closed

opened 2023-12-03 16:13:57 -05:00 by rhi · 1 comment

rhi commented

Owner

currently fst e x (e.g. if e : (A → B) × C) doesn't parse and needs to be (fst e) x

currently `fst e x` (e.g. if `e : (A → B) × C`) doesn't parse and needs to be `(fst e) x`

rhi added the

label 2023-12-03 16:13:57 -05:00

rhi commented

Author

Owner

actually make case an app head too. it's }-terminated, so why not

actually make `case` an app head too. it's `}`-terminated, so why not

rhi closed this issue

No Label

No Milestone

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: rhi/quox#34

No description provided.