summary refs log tree commit diff
path: root/pkgs/development/idris-modules
ModeNameSize
-rw-r--r--README.md98log plain blame
-rw-r--r--TODO.md100log plain blame
-rw-r--r--array.nix682log plain blame
-rw-r--r--bi.nix677log plain blame
-rw-r--r--bifunctors.nix666log plain blame
-rw-r--r--build-builtin-package.nix472log plain blame
-rw-r--r--build-idris-package.nix987log plain blame
-rw-r--r--bytes.nix609log plain blame
-rw-r--r--canvas.nix593log plain blame
-rw-r--r--categories.nix587log plain blame
-rw-r--r--coda.nix659log plain blame
-rw-r--r--comonad.nix604log plain blame
-rw-r--r--composition.nix634log plain blame
-rw-r--r--config.nix724log plain blame
-rw-r--r--console.nix710log plain blame
-rw-r--r--containers.nix736log plain blame
-rw-r--r--cube.nix628log plain blame
-rw-r--r--curses.nix906log plain blame
-rw-r--r--data.nix632log plain blame
-rw-r--r--default.nix5131log plain blame
-rw-r--r--derive.nix689log plain blame
-rw-r--r--descncrunch.nix671log plain blame
-rw-r--r--dict.nix676log plain blame
-rw-r--r--dom.nix675log plain blame
-rw-r--r--electron.nix791log plain blame
-rw-r--r--eternal.nix1038log plain blame
-rw-r--r--farrp.nix656log plain blame
-rw-r--r--free.nix643log plain blame
-rw-r--r--fsm.nix632log plain blame
-rw-r--r--glfw.nix660log plain blame
-rw-r--r--graphviz.nix756log plain blame
-rw-r--r--hamt.nix645log plain blame
-rw-r--r--heyting-algebra.nix718log plain blame
-rw-r--r--hezarfen.nix677log plain blame
-rw-r--r--hrtime.nix662log plain blame
-rw-r--r--html.nix756log plain blame
-rw-r--r--http.nix650log plain blame
-rw-r--r--http4idris.nix637log plain blame
-rw-r--r--iaia.nix616log plain blame
-rw-r--r--idris-wrapper.nix480log plain blame
-rw-r--r--idrishighlighter.nix709log plain blame
-rw-r--r--idrisscript.nix659log plain blame
-rw-r--r--ipkgparser.nix688log plain blame
-rw-r--r--jheiling-extras.nix640log plain blame
-rw-r--r--jheiling-js.nix660log plain blame
-rw-r--r--js.nix632log plain blame
-rw-r--r--lens.nix640log plain blame
-rw-r--r--lightyear.nix654log plain blame
-rw-r--r--logic.nix701log plain blame
-rw-r--r--mapping.nix601log plain blame
-rw-r--r--mhd.nix763log plain blame
-rw-r--r--pacman.nix679log plain blame
-rw-r--r--patricia.nix760log plain blame
-rw-r--r--permutations.nix701log plain blame
-rw-r--r--pfds.nix632log plain blame
-rw-r--r--pipes.nix686log plain blame
-rw-r--r--posix.nix655log plain blame
-rw-r--r--protobuf.nix667log plain blame
-rw-r--r--rationals.nix676log plain blame
-rw-r--r--recursion_schemes.nix780log plain blame
-rw-r--r--refined.nix720log plain blame
-rw-r--r--sdl.nix648log plain blame
-rw-r--r--sdl2.nix672log plain blame
-rw-r--r--semidirect.nix628log plain blame
-rw-r--r--setoids.nix590log plain blame
-rw-r--r--smproc.nix670log plain blame
-rw-r--r--snippets.nix636log plain blame
-rw-r--r--software_foundations.nix650log plain blame
-rw-r--r--specdris.nix620log plain blame
-rw-r--r--tap.nix693log plain blame
-rw-r--r--test.nix653log plain blame
-rw-r--r--tlhydra.nix658log plain blame
-rw-r--r--tomladris.nix666log plain blame
-rw-r--r--tp.nix661log plain blame
-rw-r--r--tparsec.nix630log plain blame
-rw-r--r--transducers.nix649log plain blame
-rw-r--r--trees.nix587log plain blame
-rw-r--r--union_type.nix608log plain blame
-rw-r--r--vdom.nix616log plain blame
-rw-r--r--vecspace.nix605log plain blame
-rw-r--r--webgl.nix657log plain blame
-rw-r--r--with-packages.nix459log plain blame
-rw-r--r--wl-pprint.nix587log plain blame
-rw-r--r--wyvern.nix742log plain blame
-rw-r--r--xhr.nix649log plain blame
-rw-r--r--yaml.nix630log plain blame
-rw-r--r--yampa.nix673log plain blame
generated by cgit-pink 1.4.1 (git 2.36.1) at 2024-05-17 12:36:26 +0000