-
Notifications
You must be signed in to change notification settings - Fork 371
Issues: idris-lang/Idris2
[ RFC ] Process for moving modules out of the
contrib
package.
#2866
opened Jan 30, 2023 by
mattpolzin
Open
10
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
linking behavior of record parameters names copied into values is confusing
#2812
opened Dec 10, 2022 by
redfish64
Proof search fails sometimes in the presences of holes
implem: search
language: auto-implicit
#2801
opened Dec 7, 2022 by
ohad
Incorrect conversion checking of defined function
admin: faq
implem: unification
#2777
opened Nov 17, 2022 by
ohad
Inconsistent behavior between
:proofsearch
and %search
over a simple dependent pair
#2775
opened Nov 15, 2022 by
ngeiswei
Variable use incorrectly inferred as
W
in L1
do
-block
language: do-notation
library: linear
#2774
opened Nov 15, 2022 by
CodingCellist
[ parser ] Bracket is not properly closed error is rendered to the last string in file.
error: reporting
good first issue
Good for newcomers
implem: parsing
#2771
opened Nov 12, 2022 by
andorp
%tcinline
does not work if the function involves pattern matching
#2737
opened Oct 29, 2022 by
Z-snails
Dotted expressions get in the way
language: dot-patterns
status: confirmed bug
Something isn't working
#2726
opened Oct 21, 2022 by
gallais
[ REPL ] search returns inappropriate result
documentation
Improvements or additions to documentation
help wanted
Extra attention is needed
interactive: search
status: expected behaviour
#2724
opened Oct 21, 2022 by
ayaye
Type inference issue with test and the missing
n
.
language: quantity
status: expected behaviour
#2697
opened Oct 1, 2022 by
thomasdziedzic
Proof of Void due to a coverage-checking bug
safety: coverage
safety: proof of false
status: confirmed bug
Something isn't working
#2690
opened Sep 28, 2022 by
Russoul
Auto search cuts too early when an earlier auto variable is solved
implem: elaboration
implem: search
language: auto-implicit
#2683
opened Sep 25, 2022 by
ohad
All stdlib API docs to be found in the same place
documentation
Improvements or additions to documentation
Feature request
#2672
opened Sep 21, 2022 by
joelberkeley
ProTip!
Type g i on any issue or pull request to go back to the issue listing page.