-
Notifications
You must be signed in to change notification settings - Fork 84
Issues: tweag/nickel
New issue
Have a question about this project? Sign up for a free GitHub account to open an issue and contact its maintainers and the community.
By clicking “Sign up for GitHub”, you agree to our terms of service and privacy statement. We’ll occasionally send you account related emails.
Already on GitHub? Sign in to your account
Author
Label
Projects
Milestones
Assignee
Sort
Issues list
Mention of performance in comparison with Dhall?
type: feature request
#560
opened Jan 10, 2022 by
arobertn
Improve efficiency of constraints generation and type substitution
#202
opened Nov 9, 2020 by
yannham
Infinite loop during typechecking (recursive types)
area: typing
type: bug
#277
opened Jan 26, 2021 by
yannham
Base types for contracts (or contracts seen as refinement types)
type: feature request
#420
opened Oct 12, 2021 by
yannham
[Dogfooding] If-expression in record literals
area: syntax
question
Further information is requested
#459
opened Nov 12, 2021 by
yannham
Serialize function(or any other thunk) to file for later evaluation
type: feature request
#635
opened Mar 4, 2022 by
MagicRB
Remove unecessary serde boilerplace for (de)serializing Arrays
#720
opened Jun 2, 2022 by
fuzzypixelz
Retry using HAMT as Environment if the closurization model changes.
type: feature request
#837
opened Sep 16, 2022 by
Acaccia
Tracking issue for implementation of RFC001 (overriding)
#843
opened Sep 20, 2022 by
yannham
2 of 4 tasks
Try using De Bruijn indices and persistent array for the environment
#844
opened Sep 22, 2022 by
yannham
Previous Next
ProTip!
Mix and match filters to narrow down what you’re looking for.