-
Notifications
You must be signed in to change notification settings - Fork 14
Issues: RedPRL/cooltt
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
Problem with patching and names
bug
Something isn't working
#387
opened Jun 24, 2022 by
jonsterling
updated Jul 9, 2022
Deep patching
enhancement
New feature or request
#390
opened Jul 3, 2022 by
jonsterling
updated Jul 3, 2022
💿 Remove sigma types from the core language; use records
#368
opened May 11, 2022 by
favonia
updated May 11, 2022
Consider returning to strict universes
discussion
or pipedreams
#189
opened Jun 1, 2021 by
jonsterling
updated Apr 28, 2022
📥 Auto-inserting
.fib
projections when the fib
field is a record
#366
opened Apr 27, 2022 by
mmcqd
updated Apr 27, 2022
Elim on a variable already in the context?
blocked
#156
opened Jun 9, 2020 by
favonia
updated Mar 20, 2022
Patterns on types: operations to dissect a composite type
#131
opened Jun 2, 2020 by
jonsterling
updated Mar 20, 2022
🧞 Pretty printing for signatures and structures
#331
opened Mar 20, 2022 by
jonsterling
updated Mar 20, 2022
☣️ Issue dispatching hcom for sigma types
bug
Something isn't working
#303
opened Feb 23, 2022 by
TOTBWF
updated Mar 3, 2022
Proposal to extend boundary-sensitive refinement to positive types
#297
opened Jan 19, 2022 by
jonsterling
updated Jan 19, 2022
Capture bug in implementation of dimension substitution
bug
Something isn't working
#288
opened Nov 25, 2021 by
jonsterling
updated Nov 25, 2021
🦆 Inductive Types
enhancement
New feature or request
#282
opened Sep 24, 2021 by
TOTBWF
updated Sep 24, 2021
🚰 filler-of tactical?
papercut
Minor annoyances that would be nice to fix
#259
opened Jul 13, 2021 by
cangiuli
updated Jul 31, 2021
Add judgmental notion of "strictly phi-connected type"
#182
opened Jan 20, 2021 by
jonsterling
updated Feb 11, 2021
Abstract hcom mechanism
discussion
or pipedreams
enhancement
New feature or request
#179
opened Sep 30, 2020 by
cangiuli
updated Oct 2, 2020
An idea for abstract function interfaces
#178
opened Aug 25, 2020 by
jonsterling
updated Aug 25, 2020
selectively bind arguments in a multi-lambda?
enhancement
New feature or request
#61
opened May 8, 2020 by
ecavallo
updated May 8, 2020
Previous Next
ProTip!
Type g i on any issue or pull request to go back to the issue listing page.