issues
search
claymager
/
idris2-pkgs
An unofficial Idris2 package repository for Nix
MIT License
46
stars
13
forks
source link
issues
Newest
Newest
Most commented
Recently updated
Oldest
Least commented
Least recently updated
feat: add alternatives -> TODO finish
#21
srghma
opened
3 weeks ago
0
update packages & idris 0.6.0
#20
lizard-business
opened
2 years ago
0
Cannot install idris2 and idris2-lsp at the same time
#19
pimartinet
opened
2 years ago
0
idris2 in nix develop shell searches for packages in home directory but should not
#18
michaelmesser
opened
2 years ago
0
Add snocvect package.
#17
mattpolzin
closed
2 years ago
0
Unable to use the `dom` dependency.
#16
srid
closed
2 years ago
2
M1 Mac support
#15
srid
opened
2 years ago
0
Ensure with-package does not break nix run
#14
jeroendehaas
closed
2 years ago
1
Updates
#13
claymager
closed
2 years ago
0
Add hashable
#12
claymager
closed
2 years ago
0
[ chore ] Update inputs
#11
claymager
closed
2 years ago
0
Updates
#10
claymager
closed
2 years ago
0
Depending on locally defined packages
#9
bobbbay
closed
3 years ago
6
Add Idris2-dom support
#8
bobbbay
closed
3 years ago
2
Add `idris2-dom`
#7
bobbbay
closed
3 years ago
0
Expose buildIdris to consumer flakes
#6
xavierzwirtz
closed
3 years ago
3
Document how to get nix develop with lsp installed
#5
3noch
closed
3 years ago
4
[ fix ] Don't fetchGit ./.
#4
3noch
closed
3 years ago
1
[ new ] Add patchCodegen
#3
claymager
closed
3 years ago
0
Revert "[ chore ] Update locks"
#2
claymager
closed
3 years ago
0
'Prelude not found' when building different backends.
#1
claymager
closed
3 years ago
2