index
:
nixlib
this commit
master
sixos
Alyssa's collection of Nix expressions
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
100
log
plain
blame
-rw-r--r--
array.nix
682
log
plain
blame
-rw-r--r--
bi.nix
677
log
plain
blame
-rw-r--r--
bifunctors.nix
666
log
plain
blame
-rw-r--r--
build-builtin-package.nix
472
log
plain
blame
-rw-r--r--
build-idris-package.nix
987
log
plain
blame
-rw-r--r--
bytes.nix
609
log
plain
blame
-rw-r--r--
canvas.nix
593
log
plain
blame
-rw-r--r--
categories.nix
587
log
plain
blame
-rw-r--r--
coda.nix
659
log
plain
blame
-rw-r--r--
comonad.nix
604
log
plain
blame
-rw-r--r--
composition.nix
634
log
plain
blame
-rw-r--r--
config.nix
724
log
plain
blame
-rw-r--r--
console.nix
710
log
plain
blame
-rw-r--r--
containers.nix
736
log
plain
blame
-rw-r--r--
cube.nix
628
log
plain
blame
-rw-r--r--
curses.nix
906
log
plain
blame
-rw-r--r--
data.nix
632
log
plain
blame
-rw-r--r--
default.nix
5092
log
plain
blame
-rw-r--r--
derive.nix
689
log
plain
blame
-rw-r--r--
descncrunch.nix
671
log
plain
blame
-rw-r--r--
dict.nix
676
log
plain
blame
-rw-r--r--
dom.nix
675
log
plain
blame
-rw-r--r--
electron.nix
791
log
plain
blame
-rw-r--r--
eternal.nix
1038
log
plain
blame
-rw-r--r--
farrp.nix
656
log
plain
blame
-rw-r--r--
free.nix
643
log
plain
blame
-rw-r--r--
fsm.nix
632
log
plain
blame
-rw-r--r--
glfw.nix
660
log
plain
blame
-rw-r--r--
graphviz.nix
756
log
plain
blame
-rw-r--r--
hamt.nix
645
log
plain
blame
-rw-r--r--
heyting-algebra.nix
718
log
plain
blame
-rw-r--r--
hezarfen.nix
677
log
plain
blame
-rw-r--r--
hrtime.nix
662
log
plain
blame
-rw-r--r--
html.nix
756
log
plain
blame
-rw-r--r--
http.nix
650
log
plain
blame
-rw-r--r--
http4idris.nix
637
log
plain
blame
-rw-r--r--
iaia.nix
616
log
plain
blame
-rw-r--r--
idris-wrapper.nix
395
log
plain
blame
-rw-r--r--
idrishighlighter.nix
709
log
plain
blame
-rw-r--r--
idrisscript.nix
659
log
plain
blame
-rw-r--r--
ipkgparser.nix
688
log
plain
blame
-rw-r--r--
jheiling-extras.nix
640
log
plain
blame
-rw-r--r--
jheiling-js.nix
660
log
plain
blame
-rw-r--r--
js.nix
632
log
plain
blame
-rw-r--r--
lens.nix
640
log
plain
blame
-rw-r--r--
lightyear.nix
654
log
plain
blame
-rw-r--r--
logic.nix
701
log
plain
blame
-rw-r--r--
mapping.nix
601
log
plain
blame
-rw-r--r--
mhd.nix
763
log
plain
blame
-rw-r--r--
pacman.nix
679
log
plain
blame
-rw-r--r--
patricia.nix
760
log
plain
blame
-rw-r--r--
permutations.nix
701
log
plain
blame
-rw-r--r--
pfds.nix
632
log
plain
blame
-rw-r--r--
pipes.nix
686
log
plain
blame
-rw-r--r--
posix.nix
655
log
plain
blame
-rw-r--r--
protobuf.nix
667
log
plain
blame
-rw-r--r--
rationals.nix
676
log
plain
blame
-rw-r--r--
recursion_schemes.nix
780
log
plain
blame
-rw-r--r--
refined.nix
720
log
plain
blame
-rw-r--r--
sdl.nix
648
log
plain
blame
-rw-r--r--
sdl2.nix
672
log
plain
blame
-rw-r--r--
semidirect.nix
628
log
plain
blame
-rw-r--r--
setoids.nix
590
log
plain
blame
-rw-r--r--
smproc.nix
670
log
plain
blame
-rw-r--r--
snippets.nix
636
log
plain
blame
-rw-r--r--
software_foundations.nix
650
log
plain
blame
-rw-r--r--
specdris.nix
620
log
plain
blame
-rw-r--r--
tap.nix
693
log
plain
blame
-rw-r--r--
test.nix
653
log
plain
blame
-rw-r--r--
tlhydra.nix
658
log
plain
blame
-rw-r--r--
tomladris.nix
666
log
plain
blame
-rw-r--r--
tp.nix
661
log
plain
blame
-rw-r--r--
tparsec.nix
630
log
plain
blame
-rw-r--r--
transducers.nix
649
log
plain
blame
-rw-r--r--
trees.nix
587
log
plain
blame
-rw-r--r--
union_type.nix
608
log
plain
blame
-rw-r--r--
vecspace.nix
605
log
plain
blame
-rw-r--r--
webgl.nix
657
log
plain
blame
-rw-r--r--
with-packages.nix
433
log
plain
blame
-rw-r--r--
wl-pprint.nix
587
log
plain
blame
-rw-r--r--
wyvern.nix
742
log
plain
blame
-rw-r--r--
xhr.nix
649
log
plain
blame
-rw-r--r--
yaml.nix
630
log
plain
blame
-rw-r--r--
yampa.nix
673
log
plain
blame