Pull requests: idris-lang/Idris2
Author
Label
Projects
Milestones
Reviews
Assignee
Sort
Pull requests list
fixed bugs that caused compiler to hang forever when there is %tcinline pragma
#3272
opened May 2, 2024 by
AntonPing
Loading…
[ base ] Data.SortedSet.leftMost and .rightMost
#3260
opened Apr 17, 2024 by
MithicSpirit
Loading…
1 task done
[ new ] added util functions for SortedMap
#3254
opened Apr 11, 2024 by
claudio-etterli
Loading…
1 task done
[ base ] Add flipped access/update functions for
Sorted{Set,Map,DMap}
#3247
opened Apr 3, 2024 by
buzden
Loading…
1 task done
[cleanup] Makefile boot-prefix cleanup
admin: bootstrap
admin: packaging
#3245
opened Apr 1, 2024 by
mattpolzin
Loading…
1 task
[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
[ doc ] Add Windows WSL usage
documentation
Improvements or additions to documentation
enhancement
#2985
opened May 22, 2023 by
freddi301
Loading…
[ fix #2927 ] Do not eagerly evaluate expressions occurring inside
%delay
block
backend: chez
backend: racket
enhancement
implem: common subexpression elimination
implem: laziness
#2939
opened Apr 4, 2023 by
AlgebraicWolf
Loading…
1 task done
[ docs ] Build IdrisDoc in a namespace.
backend: html
#2826
opened Dec 21, 2022 by
jfdm
Loading…
1 task done
Compile time strings
implem: string
library: prelude
#2804
opened Dec 8, 2022 by
madman-bob
Loading…
[ performance ] Implement weak memoisation of lazy values for chez and racket
event: IDM 2022/12
Issue tackled during the December 2022 Idris Developers Meeting
performance
#2791
opened Dec 5, 2022 by
buzden
Loading…
[ base ] Change how folds are defined for
Data.Vect
library: base
status: discussion
#2707
opened Oct 8, 2022 by
0xd34df00d
Loading…
[ fix ] Fix Something isn't working
Show
of TTImp
for functions with with
clauses
implem: unelaboration
language: with
status: confirmed bug
#2631
opened Aug 24, 2022 by
buzden
Loading…
[ elab ] Make
%runElab
expressions have unrestricted quantity
implem: elaboration
language: quantity
#2021
opened Oct 17, 2021 by
buzden
Loading…
ProTip!
Type g p on any issue or pull request to go back to the pull request listing page.