Skip to content

Pull requests: tweag/nickel

New pull request New
14 Open 1,318 Closed
14 Open 1,318 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
Sort
Sort by
Newest Oldest Most commented Least commented Recently updated Least recently updated Best match
Most reactions
👍 👎 😄 🎉 😕 ❤️ 🚀 👀

Pull requests list

Allow some function equality comparison
#1978 opened Jun 26, 2024 by yannham Loading…
Add a subsumption rule between record types and dictionary types
#1977 opened Jun 25, 2024 by Eckaos Loading…
11
Split contracts into an immediate part and a delayed part
#1975 opened Jun 21, 2024 by yannham Loading…
1
Make the LSP configurable
#1974 opened Jun 21, 2024 by thufschmitt Loading…
11
flake.lock: Update
#1963 opened Jun 16, 2024 by yannham Loading…
Package management
#1903 opened May 1, 2024 by jneem • Draft
4
Add a GitHub workflow for testing the release infrastructure
#1868 opened Mar 25, 2024 by vkleen • Draft
2
[WIP] Source cache refactor
#1827 opened Feb 23, 2024 by vkleen • Draft
8
[WIP] Lazy Imports
#1807 opened Feb 7, 2024 by vkleen • Draft
1 of 3 tasks
Unsafety improvements
#1683 opened Oct 16, 2023 by Radvendii Loading…
20
Imperative Traverse
#1614 opened Sep 19, 2023 by Radvendii • Draft
3 of 5 tasks
17
Feature/inc cache propagation
#1220 opened Apr 3, 2023 by dpl0a Loading…
4
Nix/nickel
#1067 opened Jan 23, 2023 by francois-caddet • Draft
@yannham
[RFC003] Nix-nickel (Draft, WIP)
#693 opened Apr 29, 2022 by yannham • Draft
30
ProTip! Filter pull requests by the default branch with base:master.