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
101
log
plain
blame
-rw-r--r--
array.nix
557
log
plain
blame
-rw-r--r--
bi.nix
637
log
plain
blame
-rw-r--r--
bifunctors.nix
526
log
plain
blame
-rw-r--r--
build-builtin-package.nix
511
log
plain
blame
-rw-r--r--
build-idris-package.nix
2246
log
plain
blame
-rw-r--r--
bytes.nix
496
log
plain
blame
-rw-r--r--
canvas.nix
543
log
plain
blame
-rw-r--r--
categories.nix
496
log
plain
blame
-rw-r--r--
coda.nix
590
log
plain
blame
-rw-r--r--
comonad.nix
513
log
plain
blame
-rw-r--r--
composition.nix
575
log
plain
blame
-rw-r--r--
config.nix
665
log
plain
blame
-rw-r--r--
console.nix
651
log
plain
blame
-rw-r--r--
containers.nix
614
log
plain
blame
-rw-r--r--
cube.nix
536
log
plain
blame
-rw-r--r--
default.nix
5176
log
plain
blame
-rw-r--r--
derive.nix
642
log
plain
blame
-rw-r--r--
descncrunch.nix
631
log
plain
blame
-rw-r--r--
dict.nix
617
log
plain
blame
-rw-r--r--
dom.nix
616
log
plain
blame
-rw-r--r--
electron.nix
642
log
plain
blame
-rw-r--r--
eternal.nix
979
log
plain
blame
-rw-r--r--
farrp.nix
597
log
plain
blame
-rw-r--r--
free.nix
592
log
plain
blame
-rw-r--r--
fsm.nix
541
log
plain
blame
-rw-r--r--
glfw.nix
741
log
plain
blame
-rw-r--r--
graphviz.nix
697
log
plain
blame
-rw-r--r--
hamt.nix
580
log
plain
blame
-rw-r--r--
hezarfen.nix
586
log
plain
blame
-rw-r--r--
hrtime.nix
626
log
plain
blame
-rw-r--r--
html.nix
697
log
plain
blame
-rw-r--r--
http.nix
591
log
plain
blame
-rw-r--r--
http4idris.nix
577
log
plain
blame
-rw-r--r--
iaia.nix
557
log
plain
blame
-rw-r--r--
idris-wrapper.nix
512
log
plain
blame
-rw-r--r--
idrishighlighter.nix
689
log
plain
blame
-rw-r--r--
idrisscript.nix
579
log
plain
blame
-rw-r--r--
ipkgparser.nix
629
log
plain
blame
-rw-r--r--
jheiling-extras.nix
580
log
plain
blame
-rw-r--r--
jheiling-js.nix
619
log
plain
blame
-rw-r--r--
js.nix
573
log
plain
blame
-rw-r--r--
lens.nix
580
log
plain
blame
-rw-r--r--
lightyear.nix
582
log
plain
blame
-rw-r--r--
logic.nix
642
log
plain
blame
-rw-r--r--
mapping.nix
521
log
plain
blame
-rw-r--r--
mhd.nix
723
log
plain
blame
-rw-r--r--
pacman.nix
620
log
plain
blame
-rw-r--r--
patricia.nix
644
log
plain
blame
-rw-r--r--
permutations.nix
561
log
plain
blame
-rw-r--r--
pfds.nix
573
log
plain
blame
-rw-r--r--
pipes.nix
595
log
plain
blame
-rw-r--r--
posix.nix
564
log
plain
blame
-rw-r--r--
quantities.nix
562
log
plain
blame
-rw-r--r--
rationals.nix
610
log
plain
blame
-rw-r--r--
recursion_schemes.nix
672
log
plain
blame
-rw-r--r--
refined.nix
597
log
plain
blame
-rw-r--r--
sdl.nix
632
log
plain
blame
-rw-r--r--
sdl2.nix
678
log
plain
blame
-rw-r--r--
semidirect.nix
569
log
plain
blame
-rw-r--r--
setoids.nix
549
log
plain
blame
-rw-r--r--
smproc.nix
599
log
plain
blame
-rw-r--r--
snippets.nix
608
log
plain
blame
-rw-r--r--
software_foundations.nix
591
log
plain
blame
-rw-r--r--
specdris.nix
589
log
plain
blame
-rw-r--r--
tap.nix
604
log
plain
blame
-rw-r--r--
test.nix
592
log
plain
blame
-rw-r--r--
tfrandom.nix
563
log
plain
blame
-rw-r--r--
tlhydra.nix
598
log
plain
blame
-rw-r--r--
tomladris.nix
606
log
plain
blame
-rw-r--r--
tp.nix
570
log
plain
blame
-rw-r--r--
tparsec.nix
613
log
plain
blame
-rw-r--r--
transducers.nix
558
log
plain
blame
-rw-r--r--
trees.nix
528
log
plain
blame
-rw-r--r--
union_type.nix
517
log
plain
blame
-rw-r--r--
vdom.nix
553
log
plain
blame
-rw-r--r--
vecspace.nix
546
log
plain
blame
-rw-r--r--
webgl.nix
598
log
plain
blame
-rw-r--r--
with-packages.nix
444
log
plain
blame
-rw-r--r--
wl-pprint.nix
496
log
plain
blame
-rw-r--r--
wyvern.nix
683
log
plain
blame
-rw-r--r--
xhr.nix
590
log
plain
blame
-rw-r--r--
yaml.nix
592
log
plain
blame
-rw-r--r--
yampa.nix
642
log
plain
blame