Skip to content

Pull requests: koka-lang/koka

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
Assignee
Filter by who’s assigned
Assigned to nobody Loading
Sort

Pull requests list

Fix open tags #711
#804 opened Sep 12, 2025 by TimWhiting Loading…
Add list.contains method
#801 opened Aug 31, 2025 by ov7a Loading…
Add flatmap to maybe
#800 opened Aug 31, 2025 by ov7a Loading…
fix exit status
#798 opened Aug 30, 2025 by TimWhiting Loading…
add effect type mismatch hints
#791 opened Aug 16, 2025 by timbertson Loading…
Adjust finalization
#783 opened Aug 7, 2025 by TimWhiting Loading…
fix: install.sh distrocfg now follows symlinks
#764 opened Jul 23, 2025 by HeikoRibberink Loading…
Unique vectorsx
#762 opened Jul 22, 2025 by TimWhiting Loading…
Fix named argument unification
#761 opened Jul 22, 2025 by TimWhiting Draft
Conform to XDG spec in the interpreter
#753 opened Jul 17, 2025 by kyepskee Loading…
fix open resolve
#750 opened Jul 13, 2025 by TimWhiting Loading…
Fix task effect type
#746 opened Jul 3, 2025 by TimWhiting Loading…
C macros for closure definitions
#713 opened May 17, 2025 by TimWhiting Draft
Hover links for Errors
#700 opened Apr 28, 2025 by TimWhiting Loading… 2 week release update
rename ref.modify -> ref.access
#694 opened Apr 17, 2025 by timbertson Loading…
Fix unicode support for C backend
#674 opened Feb 24, 2025 by ov7a Loading…
Unicode performance issue
#668 opened Feb 4, 2025 by TimWhiting Draft
Support external managed memory
#494 opened Apr 11, 2024 by TimWhiting Loading…
VM Backend
#464 opened Feb 6, 2024 by b-studios Draft
Update unicode
#461 opened Feb 3, 2024 by TimWhiting Loading… Async / Next
ProTip! Type g i on any issue or pull request to go back to the issue listing page.