Skip to content

Pull requests: flix/flix

New pull request New
18 Open 3,298 Closed
18 Open 3,298 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

feat: pretty print enums
#6036 opened May 30, 2023 by JonathanStarup Loading…
3
refactor: use Vector in Fixpoint/Ram
#6035 opened May 30, 2023 by sockmaster27 Loading…
1
refactor: separate formal params in the backend
#6034 opened May 30, 2023 by JonathanStarup • Draft
1
feat: add toVector functions to more data types (issue #6030)
#6031 opened May 29, 2023 by stephentetley Loading…
4
fix: consider rigidity environment in type generalization
#6027 opened May 25, 2023 by mlutze • Draft
1
1
fix: do not count guarded rules for exhaustiveness
#6026 opened May 25, 2023 by mlutze Loading…
1
2
refactor: remove BigDecimalOp
#6024 opened May 25, 2023 by jaschdoc Loading…
refactor: use comparisons in Order.compare for BigInt
#6023 opened May 25, 2023 by jaschdoc Loading…
1
chore: invert Boolean algebra
blocked Progress is blocked
#5955 opened May 16, 2023 by mlutze Loading…
5
fix: add support for Vector in Debug.stringify
blocked Progress is blocked
#5946 opened May 15, 2023 by sockmaster27 Loading…
1
13
chore: create CBV AST
#5806 opened Apr 27, 2023 by mlutze • Draft
4
test: add more associated type tests
#5780 opened Apr 24, 2023 by mlutze Loading…
2
feat: parallelise operations on Vectors
#5735 opened Apr 14, 2023 by dignissimus • Draft
4 tasks
5
WIP: add Graded classes for Functor, Applicative and Monad (issue #5710)
#5716 opened Apr 11, 2023 by stephentetley Loading…
3
experiment: effectclassopedia
#5591 opened Mar 12, 2023 by magnus-madsen Loading…
experiment: integrate user-defined effects into the Boolean effect language
#5574 opened Mar 5, 2023 by magnus-madsen • Draft
9
experiment: reifyeff (DO NOT MERGE)
#4602 opened Sep 21, 2022 by magnus-madsen • Draft
experiment: region metrics
#4076 opened Jun 28, 2022 by JonathanStarup • Draft
ProTip! Exclude everything labeled bug with -label:bug.