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
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 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 Loading…
Improve diagnostic messages for errors in elaborating fun apps
#503 opened Feb 17, 2023 by Kmeakin Loading…
Remove Array8, Array16 and Array32 types
#502 opened Feb 13, 2023 by Kmeakin Loading…
1
Improve binop elaboration in synth mode
#501 opened Feb 12, 2023 by Kmeakin Loading…
Scope each metavar to the definition where it was generated
#500 opened Feb 11, 2023 by Kmeakin Loading…
Cleanup surface::elaboration
#495 opened Feb 6, 2023 by Kmeakin Loading…
Lazy evaluation
#476 opened Jan 23, 2023 by Kmeakin Loading…
1
6
Add letrec terms
#469 opened Jan 19, 2023 by Kmeakin • Draft
4
Record/tuple patterns and new pattern match compiler and coverage checker
#430 opened Dec 12, 2022 by Kmeakin Loading…
29
Switch to an explicitly typed core language
#417 opened Nov 10, 2022 by brendanzab • Draft
1
7
Read simple glyph flags
#392 opened Aug 25, 2022 by wezm Loading…
10
Add some sketches of Fathom’s core in Idris 2
#391 opened Aug 25, 2022 by brendanzab • Draft
1
ProTip! Find all pull requests that aren't related to any open issues with -linked:issue.