about summary refs log tree commit diff
path: root/nixpkgs/pkgs/development/idris-modules
ModeNameSize
-rw-r--r--README.md98log plain blame
-rw-r--r--TODO.md100log plain blame
-rw-r--r--array.nix556log plain blame
-rw-r--r--bi.nix636log plain blame
-rw-r--r--bifunctors.nix525log plain blame
-rw-r--r--build-builtin-package.nix505log plain blame
-rw-r--r--build-idris-package.nix2210log plain blame
-rw-r--r--bytes.nix495log plain blame
-rw-r--r--canvas.nix542log plain blame
-rw-r--r--categories.nix495log plain blame
-rw-r--r--coda.nix589log plain blame
-rw-r--r--comonad.nix512log plain blame
-rw-r--r--composition.nix574log plain blame
-rw-r--r--config.nix664log plain blame
-rw-r--r--console.nix650log plain blame
-rw-r--r--containers.nix613log plain blame
-rw-r--r--cube.nix535log plain blame
-rw-r--r--data.nix572log plain blame
-rw-r--r--default.nix5073log plain blame
-rw-r--r--derive.nix641log plain blame
-rw-r--r--descncrunch.nix630log plain blame
-rw-r--r--dict.nix616log plain blame
-rw-r--r--dom.nix615log plain blame
-rw-r--r--electron.nix641log plain blame
-rw-r--r--eternal.nix978log plain blame
-rw-r--r--farrp.nix596log plain blame
-rw-r--r--free.nix591log plain blame
-rw-r--r--fsm.nix540log plain blame
-rw-r--r--glfw.nix739log plain blame
-rw-r--r--graphviz.nix696log plain blame
-rw-r--r--hamt.nix579log plain blame
-rw-r--r--hezarfen.nix585log plain blame
-rw-r--r--hrtime.nix625log plain blame
-rw-r--r--html.nix696log plain blame
-rw-r--r--http.nix590log plain blame
-rw-r--r--http4idris.nix576log plain blame
-rw-r--r--iaia.nix556log plain blame
-rw-r--r--idris-wrapper.nix506log plain blame
-rw-r--r--idrishighlighter.nix688log plain blame
-rw-r--r--idrisscript.nix578log plain blame
-rw-r--r--ipkgparser.nix628log plain blame
-rw-r--r--jheiling-extras.nix579log plain blame
-rw-r--r--jheiling-js.nix618log plain blame
-rw-r--r--js.nix572log plain blame
-rw-r--r--lens.nix579log plain blame
-rw-r--r--lightyear.nix581log plain blame
-rw-r--r--logic.nix641log plain blame
-rw-r--r--mapping.nix520log plain blame
-rw-r--r--mhd.nix722log plain blame
-rw-r--r--pacman.nix619log plain blame
-rw-r--r--patricia.nix643log plain blame
-rw-r--r--permutations.nix560log plain blame
-rw-r--r--pfds.nix572log plain blame
-rw-r--r--pipes.nix594log plain blame
-rw-r--r--posix.nix563log plain blame
-rw-r--r--protobuf.nix607log plain blame
-rw-r--r--quantities.nix561log plain blame
-rw-r--r--rationals.nix609log plain blame
-rw-r--r--recursion_schemes.nix671log plain blame
-rw-r--r--refined.nix596log plain blame
-rw-r--r--sdl.nix631log plain blame
-rw-r--r--sdl2.nix645log plain blame
-rw-r--r--semidirect.nix568log plain blame
-rw-r--r--setoids.nix548log plain blame
-rw-r--r--smproc.nix598log plain blame
-rw-r--r--snippets.nix607log plain blame
-rw-r--r--software_foundations.nix590log plain blame
-rw-r--r--specdris.nix588log plain blame
-rw-r--r--tap.nix603log plain blame
-rw-r--r--test.nix591log plain blame
-rw-r--r--tfrandom.nix570log plain blame
-rw-r--r--tlhydra.nix597log plain blame
-rw-r--r--tomladris.nix605log plain blame
-rw-r--r--tp.nix569log plain blame
-rw-r--r--tparsec.nix614log plain blame
-rw-r--r--transducers.nix557log plain blame
-rw-r--r--trees.nix527log plain blame
-rw-r--r--union_type.nix516log plain blame
-rw-r--r--vdom.nix552log plain blame
-rw-r--r--vecspace.nix545log plain blame
-rw-r--r--webgl.nix597log plain blame
-rw-r--r--with-packages.nix455log plain blame
-rw-r--r--wl-pprint.nix495log plain blame
-rw-r--r--wyvern.nix682log plain blame
-rw-r--r--xhr.nix589log plain blame
-rw-r--r--yaml.nix591log plain blame
-rw-r--r--yampa.nix641log plain blame
generated by cgit-pink 1.4.1 (git 2.36.1) at 2024-05-20 21:43:48 +0000