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.nix554log plain blame
-rw-r--r--bi.nix634log plain blame
-rw-r--r--bifunctors.nix523log plain blame
-rw-r--r--build-builtin-package.nix505log plain blame
-rw-r--r--build-idris-package.nix2210log plain blame
-rw-r--r--bytes.nix493log plain blame
-rw-r--r--canvas.nix540log plain blame
-rw-r--r--categories.nix493log plain blame
-rw-r--r--coda.nix587log plain blame
-rw-r--r--comonad.nix510log plain blame
-rw-r--r--composition.nix572log plain blame
-rw-r--r--config.nix662log plain blame
-rw-r--r--console.nix648log plain blame
-rw-r--r--containers.nix611log plain blame
-rw-r--r--cube.nix533log plain blame
-rw-r--r--data.nix570log plain blame
-rw-r--r--default.nix5025log plain blame
-rw-r--r--derive.nix639log plain blame
-rw-r--r--descncrunch.nix628log plain blame
-rw-r--r--dict.nix614log plain blame
-rw-r--r--dom.nix613log plain blame
-rw-r--r--electron.nix639log plain blame
-rw-r--r--eternal.nix976log plain blame
-rw-r--r--farrp.nix594log plain blame
-rw-r--r--free.nix589log plain blame
-rw-r--r--fsm.nix538log plain blame
-rw-r--r--glfw.nix737log plain blame
-rw-r--r--graphviz.nix694log plain blame
-rw-r--r--hamt.nix577log plain blame
-rw-r--r--hezarfen.nix583log plain blame
-rw-r--r--hrtime.nix623log plain blame
-rw-r--r--html.nix694log plain blame
-rw-r--r--http.nix588log plain blame
-rw-r--r--http4idris.nix574log plain blame
-rw-r--r--iaia.nix554log plain blame
-rw-r--r--idris-wrapper.nix503log plain blame
-rw-r--r--idrishighlighter.nix686log plain blame
-rw-r--r--idrisscript.nix576log plain blame
-rw-r--r--ipkgparser.nix626log plain blame
-rw-r--r--jheiling-extras.nix577log plain blame
-rw-r--r--jheiling-js.nix616log plain blame
-rw-r--r--js.nix570log plain blame
-rw-r--r--lens.nix577log plain blame
-rw-r--r--lightyear.nix579log plain blame
-rw-r--r--logic.nix639log plain blame
-rw-r--r--mapping.nix518log plain blame
-rw-r--r--mhd.nix720log plain blame
-rw-r--r--pacman.nix617log plain blame
-rw-r--r--patricia.nix641log plain blame
-rw-r--r--permutations.nix558log plain blame
-rw-r--r--pfds.nix570log plain blame
-rw-r--r--pipes.nix592log plain blame
-rw-r--r--posix.nix561log plain blame
-rw-r--r--protobuf.nix605log plain blame
-rw-r--r--quantities.nix559log plain blame
-rw-r--r--rationals.nix607log plain blame
-rw-r--r--recursion_schemes.nix669log plain blame
-rw-r--r--refined.nix594log plain blame
-rw-r--r--sdl.nix629log plain blame
-rw-r--r--sdl2.nix648log plain blame
-rw-r--r--semidirect.nix566log plain blame
-rw-r--r--setoids.nix546log plain blame
-rw-r--r--smproc.nix596log plain blame
-rw-r--r--snippets.nix605log plain blame
-rw-r--r--software_foundations.nix588log plain blame
-rw-r--r--specdris.nix586log plain blame
-rw-r--r--tap.nix601log plain blame
-rw-r--r--test.nix589log plain blame
-rw-r--r--tlhydra.nix595log plain blame
-rw-r--r--tomladris.nix603log plain blame
-rw-r--r--tp.nix567log plain blame
-rw-r--r--tparsec.nix612log plain blame
-rw-r--r--transducers.nix555log plain blame
-rw-r--r--trees.nix525log plain blame
-rw-r--r--union_type.nix514log plain blame
-rw-r--r--vdom.nix550log plain blame
-rw-r--r--vecspace.nix543log plain blame
-rw-r--r--webgl.nix595log plain blame
-rw-r--r--with-packages.nix455log plain blame
-rw-r--r--wl-pprint.nix493log plain blame
-rw-r--r--wyvern.nix680log plain blame
-rw-r--r--xhr.nix587log plain blame
-rw-r--r--yaml.nix589log plain blame
-rw-r--r--yampa.nix639log plain blame
generated by cgit-pink 1.4.1 (git 2.36.1) at 2024-04-23 22:16:47 +0000