index
:
nixlib
this commit
master
sixos
Alyssa's collection of Nix expressions
Alyssa Ross
about
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
100
log
plain
blame
-rw-r--r--
array.nix
554
log
plain
blame
-rw-r--r--
bi.nix
634
log
plain
blame
-rw-r--r--
bifunctors.nix
523
log
plain
blame
-rw-r--r--
build-builtin-package.nix
505
log
plain
blame
-rw-r--r--
build-idris-package.nix
1597
log
plain
blame
-rw-r--r--
bytes.nix
493
log
plain
blame
-rw-r--r--
canvas.nix
540
log
plain
blame
-rw-r--r--
categories.nix
493
log
plain
blame
-rw-r--r--
coda.nix
587
log
plain
blame
-rw-r--r--
comonad.nix
510
log
plain
blame
-rw-r--r--
composition.nix
572
log
plain
blame
-rw-r--r--
config.nix
662
log
plain
blame
-rw-r--r--
console.nix
648
log
plain
blame
-rw-r--r--
containers.nix
611
log
plain
blame
-rw-r--r--
cube.nix
533
log
plain
blame
-rw-r--r--
curses.nix
828
log
plain
blame
-rw-r--r--
data.nix
570
log
plain
blame
-rw-r--r--
default.nix
5129
log
plain
blame
-rw-r--r--
derive.nix
639
log
plain
blame
-rw-r--r--
descncrunch.nix
628
log
plain
blame
-rw-r--r--
dict.nix
614
log
plain
blame
-rw-r--r--
dom.nix
613
log
plain
blame
-rw-r--r--
electron.nix
639
log
plain
blame
-rw-r--r--
eternal.nix
976
log
plain
blame
-rw-r--r--
farrp.nix
594
log
plain
blame
-rw-r--r--
free.nix
589
log
plain
blame
-rw-r--r--
fsm.nix
538
log
plain
blame
-rw-r--r--
glfw.nix
597
log
plain
blame
-rw-r--r--
graphviz.nix
694
log
plain
blame
-rw-r--r--
hamt.nix
577
log
plain
blame
-rw-r--r--
heyting-algebra.nix
656
log
plain
blame
-rw-r--r--
hezarfen.nix
583
log
plain
blame
-rw-r--r--
hrtime.nix
623
log
plain
blame
-rw-r--r--
html.nix
694
log
plain
blame
-rw-r--r--
http.nix
588
log
plain
blame
-rw-r--r--
http4idris.nix
574
log
plain
blame
-rw-r--r--
iaia.nix
554
log
plain
blame
-rw-r--r--
idris-wrapper.nix
370
log
plain
blame
-rw-r--r--
idrishighlighter.nix
686
log
plain
blame
-rw-r--r--
idrisscript.nix
576
log
plain
blame
-rw-r--r--
ipkgparser.nix
626
log
plain
blame
-rw-r--r--
jheiling-extras.nix
577
log
plain
blame
-rw-r--r--
jheiling-js.nix
616
log
plain
blame
-rw-r--r--
js.nix
570
log
plain
blame
-rw-r--r--
lens.nix
577
log
plain
blame
-rw-r--r--
lightyear.nix
579
log
plain
blame
-rw-r--r--
logic.nix
639
log
plain
blame
-rw-r--r--
mapping.nix
518
log
plain
blame
-rw-r--r--
mhd.nix
720
log
plain
blame
-rw-r--r--
pacman.nix
617
log
plain
blame
-rw-r--r--
patricia.nix
641
log
plain
blame
-rw-r--r--
permutations.nix
558
log
plain
blame
-rw-r--r--
pfds.nix
570
log
plain
blame
-rw-r--r--
pipes.nix
592
log
plain
blame
-rw-r--r--
posix.nix
561
log
plain
blame
-rw-r--r--
protobuf.nix
605
log
plain
blame
-rw-r--r--
quantities.nix
559
log
plain
blame
-rw-r--r--
rationals.nix
607
log
plain
blame
-rw-r--r--
recursion_schemes.nix
669
log
plain
blame
-rw-r--r--
refined.nix
594
log
plain
blame
-rw-r--r--
sdl.nix
629
log
plain
blame
-rw-r--r--
sdl2.nix
651
log
plain
blame
-rw-r--r--
semidirect.nix
566
log
plain
blame
-rw-r--r--
setoids.nix
546
log
plain
blame
-rw-r--r--
smproc.nix
596
log
plain
blame
-rw-r--r--
snippets.nix
605
log
plain
blame
-rw-r--r--
software_foundations.nix
588
log
plain
blame
-rw-r--r--
specdris.nix
586
log
plain
blame
-rw-r--r--
tap.nix
601
log
plain
blame
-rw-r--r--
test.nix
589
log
plain
blame
-rw-r--r--
tlhydra.nix
595
log
plain
blame
-rw-r--r--
tomladris.nix
603
log
plain
blame
-rw-r--r--
tp.nix
567
log
plain
blame
-rw-r--r--
tparsec.nix
572
log
plain
blame
-rw-r--r--
transducers.nix
555
log
plain
blame
-rw-r--r--
trees.nix
525
log
plain
blame
-rw-r--r--
union_type.nix
514
log
plain
blame
-rw-r--r--
vdom.nix
550
log
plain
blame
-rw-r--r--
vecspace.nix
543
log
plain
blame
-rw-r--r--
webgl.nix
595
log
plain
blame
-rw-r--r--
with-packages.nix
455
log
plain
blame
-rw-r--r--
wl-pprint.nix
493
log
plain
blame
-rw-r--r--
wyvern.nix
680
log
plain
blame
-rw-r--r--
xhr.nix
587
log
plain
blame
-rw-r--r--
yaml.nix
589
log
plain
blame
-rw-r--r--
yampa.nix
639
log
plain
blame