Skip to content

Pull requests: hkust-taco/mlscript

New pull request New
12 Open 231 Closed
12 Open 231 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

Eta Expansion
#326 opened Aug 10, 2025 by FlandiaYingman • Draft
Parameter Elaboration Refactorization
#325 opened Aug 10, 2025 by FlandiaYingman Loading…
18
Stateful comments, and clock, freeze commands
#324 opened Aug 8, 2025 by gok99 • Draft
7
Eliminate Reusing Mutable Terms
#317 opened Jul 5, 2025 by FlandiaYingman • Draft
2
The Ultimate Pattern Syntax
#316 opened Jun 30, 2025 by chengluyu Loading…
91
Temporarily support ADT and ADT matching typing in InvalML
#309 opened May 23, 2025 by NeilKleistGao • Draft
4
Stack safety overhaul and effect handlers debloating MK1
#307 opened May 15, 2025 by CAG2Mark • Draft
3 tasks
5
Benchmarking subproject
#303 opened Apr 27, 2025 by AnsonYeung • Draft
3 tasks
Clean up Middle IR and variable assignment/reassignment
#293 opened Mar 18, 2025 by LPTK • Draft
1 of 3 tasks
10
Preliminary deforestation implementation for hkmc2
#289 opened Mar 7, 2025 by ychenfo Loading…
69
Logic subtyping and overloading
#286 opened Feb 26, 2025 by auht • Draft
7 of 12 tasks
35
User guided specialisation stage
#252 opened Dec 17, 2024 by Oli-Ar • Draft
9
ProTip! Updated in the last three days: updated:>2025-08-08.