-
Notifications
You must be signed in to change notification settings - Fork 641
Issues: idris-lang/Idris-dev
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
Idris requires type variables to be determined even when completely unused
#4511
opened Jul 9, 2018 by
jasoncarr0
Make versions of :t with differing degrees of normalization
C-Low Hanging Fruit
F-Discussion
Z-Feature Request
#1170
opened May 2, 2014 by
david-christiansen
Slices with left arguments allow only atomic expressions as that argument.
A-Confirmed
C-Moderate Effort
S-Normal
U-Parser
#524
opened Oct 9, 2013 by
Melvar
Wrap record accessors in an implicit namespace
C-Minor Effort
U-Elaboration
U-Language Design
Z-Feature Request
#909
opened Feb 18, 2014 by
david-christiansen
Add Read typeclass to standard library
C-Low Hanging Fruit
U-Library Design
Z-Feature Request
#986
opened Mar 20, 2014 by
jedesah
Executing main gives Prelude.undefined
A-Confirmed
C-Moderate Effort
S-Normal
U-Interactive
#1030
opened Apr 5, 2014 by
puffnfresh
Errors prevents loading
C-Low Hanging Fruit
Z-Feature Request
#1092
opened Apr 20, 2014 by
puffnfresh
Make IdrisDoc namespace tracing strict
C-Low Hanging Fruit
U-Build System
U-Documentation
Z-Feature Request
#1099
opened Apr 22, 2014 by
PhilipBorgesen
:missing improvements
C-Low Hanging Fruit
Z-Feature Request
#1111
opened Apr 24, 2014 by
david-christiansen
fromList and exponential compile time
S-Critical
U-Type Checking
Z-Optimisation
#172
opened Jan 30, 2013 by
nicolabotta
Compile time Nats need to be optimised
A-Confirmed
S-Normal
U-Type Checking
Z-Optimisation
#1171
opened May 2, 2014 by
UlfNorell
Unhelpful error when type inference fails in case blocks
A-Confirmed
S-Normal
U-Error Message
#1217
opened May 10, 2014 by
dfoxfranke
Consistent indentation with generated code?
C-Low Hanging Fruit
F-Discussion
U-Documentation
Z-Feature Request
#1227
opened May 14, 2014 by
david-christiansen
Search for instances given a type
C-Low Hanging Fruit
U-Interactive
Z-Feature Request
#1230
opened May 14, 2014 by
LeifW
IDESlave support for :search
C-Moderate Effort
U-Editor Support
Z-Feature Request
#1268
opened May 30, 2014 by
david-christiansen
Provide a way to hide internal helper variables in proof mode
C-Low Hanging Fruit
S-Normal
U-Interactive
#1301
opened Jun 9, 2014 by
ahmadsalim
SOS : Subset or Sigma (or nothing the like) ?
A-Confirmed
C-Low Hanging Fruit
S-Normal
U-Error Message
U-Pretty Printer
#1374
opened Jul 10, 2014 by
nicolabotta
No Monoid for Ordering
C-Low Hanging Fruit
F-Discussion
U-Library Design
#1378
opened Jul 11, 2014 by
puffnfresh
Better error message when failing to parse "let" with nested "case"
C-Low Hanging Fruit
S-Normal
U-Error Message
U-Parser
#1402
opened Jul 17, 2014 by
david-christiansen
Previous Next
ProTip!
What’s not been updated in a month: updated:<2025-02-03.