about summary refs log tree commit diff
path: root/pkgs/development/idris-modules
ModeNameSize
-rw-r--r--README.md98log plain blame
-rw-r--r--TODO.md101log plain blame
-rw-r--r--array.nix557log plain blame
-rw-r--r--bi.nix637log plain blame
-rw-r--r--bifunctors.nix526log plain blame
-rw-r--r--build-builtin-package.nix511log plain blame
-rw-r--r--build-idris-package.nix2246log plain blame
-rw-r--r--bytes.nix496log plain blame
-rw-r--r--canvas.nix543log plain blame
-rw-r--r--categories.nix496log plain blame
-rw-r--r--coda.nix590log plain blame
-rw-r--r--comonad.nix513log plain blame
-rw-r--r--composition.nix575log plain blame
-rw-r--r--config.nix665log plain blame
-rw-r--r--console.nix651log plain blame
-rw-r--r--containers.nix614log plain blame
-rw-r--r--cube.nix540log plain blame
-rw-r--r--default.nix5176log plain blame
-rw-r--r--derive.nix642log plain blame
-rw-r--r--descncrunch.nix631log plain blame
-rw-r--r--dict.nix617log plain blame
-rw-r--r--dom.nix616log plain blame
-rw-r--r--electron.nix642log plain blame
-rw-r--r--eternal.nix979log plain blame
-rw-r--r--farrp.nix597log plain blame
-rw-r--r--free.nix592log plain blame
-rw-r--r--fsm.nix541log plain blame
-rw-r--r--glfw.nix741log plain blame
-rw-r--r--graphviz.nix697log plain blame
-rw-r--r--hamt.nix580log plain blame
-rw-r--r--hezarfen.nix586log plain blame
-rw-r--r--hrtime.nix626log plain blame
-rw-r--r--html.nix697log plain blame
-rw-r--r--http.nix591log plain blame
-rw-r--r--http4idris.nix577log plain blame
-rw-r--r--iaia.nix557log plain blame
-rw-r--r--idris-wrapper.nix512log plain blame
-rw-r--r--idrishighlighter.nix689log plain blame
-rw-r--r--idrisscript.nix579log plain blame
-rw-r--r--ipkgparser.nix629log plain blame
-rw-r--r--jheiling-extras.nix580log plain blame
-rw-r--r--jheiling-js.nix619log plain blame
-rw-r--r--js.nix573log plain blame
-rw-r--r--lens.nix580log plain blame
-rw-r--r--lightyear.nix582log plain blame
-rw-r--r--logic.nix642log plain blame
-rw-r--r--mapping.nix525log plain blame
-rw-r--r--mhd.nix723log plain blame
-rw-r--r--pacman.nix620log plain blame
-rw-r--r--patricia.nix644log plain blame
-rw-r--r--permutations.nix561log plain blame
-rw-r--r--pfds.nix573log plain blame
-rw-r--r--pipes.nix595log plain blame
-rw-r--r--posix.nix564log plain blame
-rw-r--r--quantities.nix562log plain blame
-rw-r--r--rationals.nix610log plain blame
-rw-r--r--recursion_schemes.nix672log plain blame
-rw-r--r--refined.nix597log plain blame
-rw-r--r--sdl.nix632log plain blame
-rw-r--r--sdl2.nix678log plain blame
-rw-r--r--semidirect.nix569log plain blame
-rw-r--r--setoids.nix549log plain blame
-rw-r--r--smproc.nix599log plain blame
-rw-r--r--snippets.nix608log plain blame
-rw-r--r--software_foundations.nix591log plain blame
-rw-r--r--specdris.nix589log plain blame
-rw-r--r--tap.nix604log plain blame
-rw-r--r--test.nix592log plain blame
-rw-r--r--tfrandom.nix563log plain blame
-rw-r--r--tlhydra.nix598log plain blame
-rw-r--r--tomladris.nix606log plain blame
-rw-r--r--tp.nix570log plain blame
-rw-r--r--tparsec.nix613log plain blame
-rw-r--r--transducers.nix558log plain blame
-rw-r--r--trees.nix528log plain blame
-rw-r--r--union_type.nix517log plain blame
-rw-r--r--vdom.nix553log plain blame
-rw-r--r--vecspace.nix546log plain blame
-rw-r--r--webgl.nix598log plain blame
-rw-r--r--with-packages.nix444log plain blame
-rw-r--r--wl-pprint.nix496log plain blame
-rw-r--r--wyvern.nix683log plain blame
-rw-r--r--xhr.nix590log plain blame
-rw-r--r--yaml.nix592log plain blame
-rw-r--r--yampa.nix642log plain blame