summaryrefslogtreecommitdiffstats
path: root/pkgs/development/idris-modules
ModeNameSize
-rw-r--r--README.md98logstatsplain
-rw-r--r--TODO.md101logstatsplain
-rw-r--r--array.nix562logstatsplain
-rw-r--r--bi.nix653logstatsplain
-rw-r--r--bifunctors.nix528logstatsplain
-rw-r--r--build-builtin-package.nix469logstatsplain
-rw-r--r--build-idris-package.nix2393logstatsplain
-rw-r--r--bytes.nix500logstatsplain
-rw-r--r--canvas.nix547logstatsplain
-rw-r--r--categories.nix500logstatsplain
-rw-r--r--coda.nix594logstatsplain
-rw-r--r--comonad.nix517logstatsplain
-rw-r--r--composition.nix580logstatsplain
-rw-r--r--config.nix690logstatsplain
-rw-r--r--console.nix669logstatsplain
-rw-r--r--containers.nix629logstatsplain
-rw-r--r--cube.nix541logstatsplain
-rw-r--r--default.nix5675logstatsplain
-rw-r--r--derive.nix658logstatsplain
-rw-r--r--dict.nix622logstatsplain
-rw-r--r--dom.nix637logstatsplain
-rw-r--r--electron.nix663logstatsplain
-rw-r--r--eternal.nix984logstatsplain
-rw-r--r--farrp.nix602logstatsplain
-rw-r--r--free.nix596logstatsplain
-rw-r--r--fsm.nix545logstatsplain
-rw-r--r--glfw.nix747logstatsplain
-rw-r--r--graphviz.nix702logstatsplain
-rw-r--r--hamt.nix596logstatsplain
-rw-r--r--hezarfen.nix588logstatsplain
-rw-r--r--hrtime.nix631logstatsplain
-rw-r--r--html.nix718logstatsplain
-rw-r--r--http.nix609logstatsplain
-rw-r--r--http4idris.nix579logstatsplain
-rw-r--r--iaia.nix562logstatsplain
-rw-r--r--idris-wrapper.nix555logstatsplain
-rw-r--r--idrishighlighter.nix705logstatsplain
-rw-r--r--idrisscript.nix583logstatsplain
-rw-r--r--ipkgparser.nix650logstatsplain
-rw-r--r--jheiling-extras.nix585logstatsplain
-rw-r--r--jheiling-js.nix635logstatsplain
-rw-r--r--js.nix589logstatsplain
-rw-r--r--lens.nix585logstatsplain
-rw-r--r--lightyear.nix603logstatsplain
-rw-r--r--logic.nix647logstatsplain
-rw-r--r--mapping.nix529logstatsplain
-rw-r--r--mhd.nix738logstatsplain
-rw-r--r--pacman.nix636logstatsplain
-rw-r--r--patricia.nix648logstatsplain
-rw-r--r--permutations.nix565logstatsplain
-rw-r--r--pfds.nix578logstatsplain
-rw-r--r--pipes.nix599logstatsplain
-rw-r--r--posix.nix567logstatsplain
-rw-r--r--quantities.nix566logstatsplain
-rw-r--r--rationals.nix613logstatsplain
-rw-r--r--recursion_schemes.nix703logstatsplain
-rw-r--r--refined.nix601logstatsplain
-rw-r--r--sdl2.nix687logstatsplain
-rw-r--r--semidirect.nix585logstatsplain
-rw-r--r--setoids.nix554logstatsplain
-rw-r--r--smproc.nix604logstatsplain
-rw-r--r--snippets.nix613logstatsplain
-rw-r--r--software_foundations.nix596logstatsplain
-rw-r--r--specdris.nix593logstatsplain
-rw-r--r--tap.nix607logstatsplain
-rw-r--r--test.nix597logstatsplain
-rw-r--r--tfrandom.nix567logstatsplain
-rw-r--r--tlhydra.nix619logstatsplain
-rw-r--r--tomladris.nix638logstatsplain
-rw-r--r--tp.nix574logstatsplain
-rw-r--r--tparsec.nix618logstatsplain
-rw-r--r--transducers.nix562logstatsplain
-rw-r--r--trees.nix544logstatsplain
-rw-r--r--union_type.nix521logstatsplain
-rw-r--r--vdom.nix557logstatsplain
-rw-r--r--vecspace.nix551logstatsplain
-rw-r--r--webgl.nix603logstatsplain
-rw-r--r--with-packages.nix465logstatsplain
-rw-r--r--wl-pprint.nix501logstatsplain
-rw-r--r--wyvern.nix699logstatsplain
-rw-r--r--xhr.nix595logstatsplain
-rw-r--r--yaml.nix608logstatsplain
-rw-r--r--yampa.nix647logstatsplain
generated by cgit v1.3.1 (git 2.54.0) at 2026-09-19 10:56:00 -0400