Skip to content

Pull requests: effekt-lang/effekt

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

Proper flow between result and answer type
#1279 opened Jan 2, 2026 by phischu Loading…
Bump actions/upload-artifact from 5 to 6 github-actions Pull requests that update GitHub Actions code
#1276 opened Dec 19, 2025 by dependabot bot Loading…
Bump actions/cache from 4 to 5 github-actions Pull requests that update GitHub Actions code
#1275 opened Dec 19, 2025 by dependabot bot Loading…
Fix wrong entry in test suite blocked Blocked on other issues / PRs github-actions Pull requests that update GitHub Actions code
#1274 opened Dec 17, 2025 by jiribenes Loading…
Add Euclidean-based div and mod
#1271 opened Dec 17, 2025 by dvdvgt Loading…
Remove redundant transform in core.Transformer area:compiler blocked Blocked on other issues / PRs
#1239 opened Dec 2, 2025 by jiribenes Loading…
Constant time reference counting experiment Experimental branch, do not merge!
#1182 opened Nov 5, 2025 by danielflat Draft
WIP: New core frontend
#1152 opened Oct 6, 2025 by timsueberkrueb Draft
Add benchmark args
#1142 opened Oct 2, 2025 by marvinborner Loading…
Basic Bump allocator experiment Experimental branch, do not merge!
#1130 opened Sep 24, 2025 by danielflat Draft
New normalizer
#1127 opened Sep 8, 2025 by b-studios Draft
Show instances for ground types
#1123 opened Aug 31, 2025 by mattisboeckle Loading…
2
9
Arity raising for record types experiment Experimental branch, do not merge!
#1114 opened Aug 25, 2025 by konradbausch Draft
Add more (infix) operators
#1091 opened Jul 22, 2025 by b-studios Loading…
Implement Monomorphization optimization experiment Experimental branch, do not merge!
#1024 opened May 26, 2025 by mattisboeckle Draft
6 tasks done
ProTip! Type g i on any issue or pull request to go back to the issue listing page.