Pull requests · yeslogic/fathom · GitHub
Skip to content

Pull requests: yeslogic/fathom

New pull request New
14 Open 350 Closed
14 Open 350 Closed
Author
Filter by author
Loading
Label
Filter by label
Loading
Use alt + click/return to exclude labels
or ⇧ + click/return for logical OR
Projects
Filter by project
Loading
Milestones
Filter by milestone
Loading
Reviews
Filter by reviews
No reviews Review required Approved review Changes requested
Assignee
Filter by who’s assigned
Assigned to nobody Loading
Sort
Sort by
Newest Oldest Most commented Least commented Recently updated Least recently updated Best match
Most reactions
👍 👎 😄 🎉 😕 ❤️ 🚀 👀

Pull requests list

Fix record/tuple literal elaboration
#508 opened Sep 6, 2023 by Kmeakin Contributor Loading…
1
build: Fix larlpop dependency
#505 opened Apr 21, 2023 by jtojnar Loading…
Improve diagnostic messages for errors in elaborating record projections
#504 opened Feb 17, 2023 by Kmeakin Contributor Loading…
Improve diagnostic messages for errors in elaborating fun apps
#503 opened Feb 17, 2023 by Kmeakin Contributor Loading…
Remove Array8, Array16 and Array32 types
#502 opened Feb 13, 2023 by Kmeakin Contributor Loading…
1
Improve binop elaboration in synth mode
#501 opened Feb 12, 2023 by Kmeakin Contributor Loading…
Scope each metavar to the definition where it was generated
#500 opened Feb 11, 2023 by Kmeakin Contributor Loading…
Cleanup surface::elaboration
#495 opened Feb 6, 2023 by Kmeakin Contributor Loading…
Lazy evaluation
#476 opened Jan 23, 2023 by Kmeakin Contributor Loading…
1
6
Add letrec terms
#469 opened Jan 19, 2023 by Kmeakin Contributor • Draft
4
Record/tuple patterns and new pattern match compiler and coverage checker
#430 opened Dec 12, 2022 by Kmeakin Contributor Loading…
29
Switch to an explicitly typed core language
#417 opened Nov 10, 2022 by brendanzab Member • Draft
1
7
Read simple glyph flags
#392 opened Aug 25, 2022 by wezm Contributor Loading…
10
Add some sketches of Fathom’s core in Idris 2
#391 opened Aug 25, 2022 by brendanzab Member • Draft
1
ProTip! Type g p on any issue or pull request to go back to the pull request listing page.