index
:
nixpkgs
this commit
archive
master
rootfs
usbip
wayland
Downstream nixpkgs tree for Spectrum
Alyssa Ross
summary
refs
log
tree
commit
diff
log msg
author
committer
range
path:
root
/
pkgs
/
development
/
idris-modules
Mode
Name
Size
-rw-r--r--
README.md
98
log
plain
blame
-rw-r--r--
TODO.md
101
log
plain
blame
-rw-r--r--
array.nix
556
log
plain
blame
-rw-r--r--
bi.nix
636
log
plain
blame
-rw-r--r--
bifunctors.nix
525
log
plain
blame
-rw-r--r--
build-builtin-package.nix
505
log
plain
blame
-rw-r--r--
build-idris-package.nix
2233
log
plain
blame
-rw-r--r--
bytes.nix
495
log
plain
blame
-rw-r--r--
canvas.nix
542
log
plain
blame
-rw-r--r--
categories.nix
495
log
plain
blame
-rw-r--r--
coda.nix
589
log
plain
blame
-rw-r--r--
comonad.nix
512
log
plain
blame
-rw-r--r--
composition.nix
574
log
plain
blame
-rw-r--r--
config.nix
664
log
plain
blame
-rw-r--r--
console.nix
650
log
plain
blame
-rw-r--r--
containers.nix
613
log
plain
blame
-rw-r--r--
cube.nix
535
log
plain
blame
-rw-r--r--
default.nix
5186
log
plain
blame
-rw-r--r--
derive.nix
641
log
plain
blame
-rw-r--r--
descncrunch.nix
630
log
plain
blame
-rw-r--r--
dict.nix
616
log
plain
blame
-rw-r--r--
dom.nix
615
log
plain
blame
-rw-r--r--
electron.nix
641
log
plain
blame
-rw-r--r--
eternal.nix
978
log
plain
blame
-rw-r--r--
farrp.nix
596
log
plain
blame
-rw-r--r--
free.nix
591
log
plain
blame
-rw-r--r--
fsm.nix
540
log
plain
blame
-rw-r--r--
glfw.nix
740
log
plain
blame
-rw-r--r--
graphviz.nix
696
log
plain
blame
-rw-r--r--
hamt.nix
579
log
plain
blame
-rw-r--r--
hezarfen.nix
585
log
plain
blame
-rw-r--r--
hrtime.nix
625
log
plain
blame
-rw-r--r--
html.nix
696
log
plain
blame
-rw-r--r--
http.nix
590
log
plain
blame
-rw-r--r--
http4idris.nix
576
log
plain
blame
-rw-r--r--
iaia.nix
556
log
plain
blame
-rw-r--r--
idris-wrapper.nix
506
log
plain
blame
-rw-r--r--
idrishighlighter.nix
688
log
plain
blame
-rw-r--r--
idrisscript.nix
578
log
plain
blame
-rw-r--r--
ipkgparser.nix
628
log
plain
blame
-rw-r--r--
jheiling-extras.nix
579
log
plain
blame
-rw-r--r--
jheiling-js.nix
618
log
plain
blame
-rw-r--r--
js.nix
572
log
plain
blame
-rw-r--r--
lens.nix
579
log
plain
blame
-rw-r--r--
lightyear.nix
581
log
plain
blame
-rw-r--r--
logic.nix
641
log
plain
blame
-rw-r--r--
mapping.nix
520
log
plain
blame
-rw-r--r--
mhd.nix
722
log
plain
blame
-rw-r--r--
pacman.nix
619
log
plain
blame
-rw-r--r--
patricia.nix
643
log
plain
blame
-rw-r--r--
permutations.nix
560
log
plain
blame
-rw-r--r--
pfds.nix
572
log
plain
blame
-rw-r--r--
pipes.nix
594
log
plain
blame
-rw-r--r--
posix.nix
563
log
plain
blame
-rw-r--r--
quantities.nix
561
log
plain
blame
-rw-r--r--
rationals.nix
609
log
plain
blame
-rw-r--r--
recursion_schemes.nix
671
log
plain
blame
-rw-r--r--
refined.nix
596
log
plain
blame
-rw-r--r--
sdl.nix
631
log
plain
blame
-rw-r--r--
sdl2.nix
677
log
plain
blame
-rw-r--r--
semidirect.nix
568
log
plain
blame
-rw-r--r--
setoids.nix
548
log
plain
blame
-rw-r--r--
smproc.nix
598
log
plain
blame
-rw-r--r--
snippets.nix
607
log
plain
blame
-rw-r--r--
software_foundations.nix
590
log
plain
blame
-rw-r--r--
specdris.nix
588
log
plain
blame
-rw-r--r--
tap.nix
603
log
plain
blame
-rw-r--r--
test.nix
591
log
plain
blame
-rw-r--r--
tfrandom.nix
562
log
plain
blame
-rw-r--r--
tlhydra.nix
597
log
plain
blame
-rw-r--r--
tomladris.nix
605
log
plain
blame
-rw-r--r--
tp.nix
569
log
plain
blame
-rw-r--r--
tparsec.nix
612
log
plain
blame
-rw-r--r--
transducers.nix
557
log
plain
blame
-rw-r--r--
trees.nix
527
log
plain
blame
-rw-r--r--
union_type.nix
516
log
plain
blame
-rw-r--r--
vdom.nix
552
log
plain
blame
-rw-r--r--
vecspace.nix
545
log
plain
blame
-rw-r--r--
webgl.nix
597
log
plain
blame
-rw-r--r--
with-packages.nix
438
log
plain
blame
-rw-r--r--
wl-pprint.nix
495
log
plain
blame
-rw-r--r--
wyvern.nix
682
log
plain
blame
-rw-r--r--
xhr.nix
589
log
plain
blame
-rw-r--r--
yaml.nix
591
log
plain
blame
-rw-r--r--
yampa.nix
641
log
plain
blame