Skip to content

Pull requests: drym-org/qi

New pull request New
9 Open 89 Closed
9 Open 89 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

zip core form
#190 opened Jan 6, 2025 by countvajhula Loading…
1 task done
3
Deforest All the Things
#179 opened Aug 3, 2024 by countvajhula Loading…
3 of 19 tasks
30
Propagating syntax for good errors
#169 opened Mar 29, 2024 by countvajhula • Draft
1 task done
1
Theory of effects
#165 opened Mar 19, 2024 by countvajhula • Draft
1 task done
11
Benchmarks for bindings
#138 opened Dec 18, 2023 by countvajhula • Draft
1 task done
3
[☯]: Inferring the names of procedures created by ☯.
#73 opened Aug 31, 2022 by NoahStoryM Loading…
1 task done
11
Define identity elements for -< and ==* and name some flows.
#70 opened Aug 29, 2022 by NoahStoryM Loading…
1 task done
17
[==*] Extend ==* to represent ×.
#69 opened Aug 27, 2022 by NoahStoryM • Draft
1 task done
[><]: Extend >< to map input sequence.
#64 opened Aug 14, 2022 by NoahStoryM Loading…
1 task done
3
ProTip! Type g i on any issue or pull request to go back to the issue listing page.