-
Notifications
You must be signed in to change notification settings - Fork 374
Pull requests: idris-lang/Idris2
Author
Label
Projects
Milestones
Reviews
Assignee
Sort
Pull requests list
[ cleanup ] Make
Nat
's NonZero
to be an alias for IsSucc
#3405
opened Oct 29, 2024 by
buzden
Loading…
1 task done
[ literate ] Support
typst
in literate Idris
#3403
opened Oct 26, 2024 by
buzden
Loading…
1 task done
[ fix ] Address some proofs of void via impossible from issues #2250 and #3276
#3396
opened Oct 5, 2024 by
dunhamsteve
Loading…
[ base ] Deprecate
toList
functions for sorted sets and maps
#3392
opened Sep 23, 2024 by
buzden
Loading…
1 task done
[ libs ] Add
public export
modifiers to arithmetic inequality proofs
#3377
opened Aug 29, 2024 by
elkcl
Loading…
1 task done
[ new ] totality checking can look under constructors
#3362
opened Jul 28, 2024 by
dunhamsteve
Loading…
Support for non-glibc versions of linux (musl, android)
#3336
opened Jun 29, 2024 by
spocino
Loading…
fixed bugs that caused compiler to hang forever when there is %tcinline pragma
#3272
opened May 2, 2024 by
AntonPing
Loading…
[RefC] Object Immortalization and Pre-Generation of Constants
backend: refc
C with reference counting backend
#3242
opened Mar 31, 2024 by
seagull-kamome
Loading…
1 task done
Update INSTALL.md - Using Junctions on Windows for Seamless Builds
#3198
opened Jan 21, 2024 by
hellerim
Loading…
1 task
[ doc ] Improve docs for let and :=
documentation
Improvements or additions to documentation
enhancement
language: let
#3159
opened Dec 7, 2023 by
CodingCellist
Loading…
1 task done
[ docs ] Build IdrisDoc in a namespace.
backend: html
#2826
opened Dec 21, 2022 by
jfdm
Loading…
1 task done
[ base ] Change how folds are defined for
Data.Vect
library: base
status: discussion
#2707
opened Oct 8, 2022 by
0xd34df00d
Loading…
[ elab ] Make
%runElab
expressions have unrestricted quantity
implem: elaboration
language: quantity
#2021
opened Oct 17, 2021 by
buzden
Loading…
ProTip!
no:milestone will show everything without a milestone.