-
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
Evaluation of partial functions during conversion
discussion: design
implem: normalise
#3372
opened Aug 17, 2024 by
zanzix
Erased type-casing function seen as total when it's not
safety: coverage
safety: proof of false
status: confirmed bug
Something isn't working
#3357
opened Jul 26, 2024 by
gallais
Case split doesn't detect cases when working inside a namespace
#3347
opened Jul 7, 2024 by
JavierGelatti
Bootstrap with Racket error: Problem compiling or running Idris
raco: Unrecognized command: exe
Installation Issue
#3343
opened Jul 5, 2024 by
barracuda156
Support type annotations on LHS of a monadic bind
<-
Feature request
#3327
opened Jun 21, 2024 by
joelberkeley
2 tasks done
Make output of ide-mode
:interpret
consistent to always return consistent datatype (String)
Feature request
#3311
opened Jun 13, 2024 by
keram
2 tasks done
Loading file in ide-mode changes working directory and causes errors on later actions
#3310
opened Jun 13, 2024 by
keram
unification failure between if then else statements when using isYes (decEq n a) as the condition
#3300
opened Jun 4, 2024 by
astaugaard
Chez backend is too naive on the value of
CHEZ
environment variable
#3295
opened Jun 4, 2024 by
buzden
Underscore name of an implicit argument in a signature of an interface function does not work
implem: interface elaboration
status: confirmed bug
Something isn't working
#3291
opened May 28, 2024 by
buzden
Loss of Linearity in Interaction of Abstract Interfaces and Linear State Transformer Monad
language: named application
language: quantity
status: confirmed bug
Something isn't working
#3287
opened May 23, 2024 by
Lichborne
Previous Next
ProTip!
Follow long discussions with comments:>50.