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.nix615log plain blame
-rw-r--r--bifunctors.nix572log plain blame
-rw-r--r--build-builtin-package.nix505log plain blame
-rw-r--r--build-idris-package.nix1320log plain blame
-rw-r--r--bytes.nix493log plain blame
-rw-r--r--canvas.nix511log plain blame
-rw-r--r--categories.nix544log plain blame
-rw-r--r--coda.nix565log 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.nix673log plain blame
-rw-r--r--cube.nix533log plain blame
-rw-r--r--curses.nix828log plain blame
-rw-r--r--data.nix570log plain blame
-rw-r--r--default.nix5129log plain blame
-rw-r--r--derive.nix704log 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.nix728log plain blame
-rw-r--r--eternal.nix976log plain blame
-rw-r--r--farrp.nix594log plain blame
-rw-r--r--free.nix561log plain blame
-rw-r--r--fsm.nix538log plain blame
-rw-r--r--glfw.nix597log plain blame
-rw-r--r--graphviz.nix694log plain blame
-rw-r--r--hamt.nix583log plain blame
-rw-r--r--heyting-algebra.nix656log plain blame
-rw-r--r--hezarfen.nix583log plain blame
-rw-r--r--hrtime.nix600log 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.nix370log plain blame
-rw-r--r--idrishighlighter.nix647log 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.nix597log 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.nix700log plain blame
-rw-r--r--pacman.nix617log plain blame
-rw-r--r--patricia.nix698log plain blame
-rw-r--r--permutations.nix607log 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.nix718log plain blame
-rw-r--r--refined.nix626log plain blame
-rw-r--r--sdl.nix629log plain blame
-rw-r--r--sdl2.nix651log 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.nix574log plain blame
-rw-r--r--software_foundations.nix588log plain blame
-rw-r--r--specdris.nix586log plain blame
-rw-r--r--tap.nix631log 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.nix547log 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.nix522log 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.nix568log plain blame
-rw-r--r--yampa.nix611log plain blame
generated by cgit-pink 1.4.1 (git 2.36.1) at 2024-05-17 20:01:46 +0000