-
Notifications
You must be signed in to change notification settings - Fork 14
Pull requests: yeslogic/fathom
Author
Label
Projects
Milestones
Reviews
Assignee
Sort
Pull requests list
Improve diagnostic messages for errors in elaborating record projections
#504
opened Feb 17, 2023 by
Kmeakin
Loading…
Improve diagnostic messages for errors in elaborating fun apps
#503
opened Feb 17, 2023 by
Kmeakin
Loading…
Scope each metavar to the definition where it was generated
#500
opened Feb 11, 2023 by
Kmeakin
Loading…
Record/tuple patterns and new pattern match compiler and coverage checker
#430
opened Dec 12, 2022 by
Kmeakin
Loading…
ProTip!
What’s not been updated in a month: updated:<2024-11-25.