Skip to content

Pull requests: drym-org/qi

New pull request New
10 Open 82 Closed
10 Open 82 Closed
Author
Filter by author
Label
Filter by label
Use alt + click/return to exclude labels
or ⇧ + click/return for logical OR
Projects
Filter by project
Milestones
Filter by milestone
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

Deforest within the core language
#180 opened Aug 3, 2024 by countvajhula Loading…
1 task done
23
Deforest All the Things
#179 opened Aug 3, 2024 by countvajhula Loading…
1 task done
Lambda core form
#177 opened Jun 29, 2024 by countvajhula Loading…
1 task done
3
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! Follow long discussions with comments:>50.