pkgs/development/idris-modules · nixpkgs · Tangled

What happens if I push all of nixpkgs

nixpkgs pkgs development idris-modules

84 files

at python-updates

Wolfgang Walther · treewide: run nixfmt 1.0.0 · 1y ago

treewide: format all inactive Nix files

treewide: format all inactive Nix files

treewide: format all inactive Nix files

build-builtin-package.nix

treewide: format all inactive Nix files

build-idris-package.nix

treewide: run nixfmt 1.0.0

treewide: format all inactive Nix files

treewide: format all inactive Nix files

treewide: format all inactive Nix files

treewide: format all inactive Nix files

treewide: format all inactive Nix files

composition.nix

treewide: format all inactive Nix files

treewide: format all inactive Nix files

treewide: format all inactive Nix files

treewide: format all inactive Nix files

treewide: format all inactive Nix files

treewide: format all inactive Nix files

treewide: format all inactive Nix files

descncrunch.nix

treewide: format all inactive Nix files

treewide: format all inactive Nix files

treewide: format all inactive Nix files

treewide: format all inactive Nix files

treewide: format all inactive Nix files

treewide: format all inactive Nix files

treewide: format all inactive Nix files

treewide: format all inactive Nix files

treewide: format all inactive Nix files

treewide: format all inactive Nix files

treewide: format all inactive Nix files

treewide: format all inactive Nix files

treewide: format all inactive Nix files

treewide: format all inactive Nix files

treewide: format all inactive Nix files

treewide: format all inactive Nix files

treewide: format all inactive Nix files

idris-wrapper.nix

treewide: format all inactive Nix files

idrishighlighter.nix

treewide: format all inactive Nix files

idrisscript.nix

treewide: format all inactive Nix files

treewide: format all inactive Nix files

jheiling-extras.nix

treewide: format all inactive Nix files

jheiling-js.nix

treewide: format all inactive Nix files

treewide: format all inactive Nix files

treewide: format all inactive Nix files

treewide: format all inactive Nix files

treewide: format all inactive Nix files

treewide: format all inactive Nix files

treewide: format all inactive Nix files

treewide: format all inactive Nix files

treewide: format all inactive Nix files

permutations.nix

treewide: format all inactive Nix files

treewide: format all inactive Nix files

treewide: format all inactive Nix files

treewide: format all inactive Nix files

treewide: format all inactive Nix files

treewide: format all inactive Nix files

recursion_schemes.nix

treewide: format all inactive Nix files

treewide: format all inactive Nix files

Revert "treewide: replace `rev` with `tag`"

treewide: format all inactive Nix files

treewide: format all inactive Nix files

treewide: format all inactive Nix files

treewide: format all inactive Nix files

software_foundations.nix

treewide: format all inactive Nix files

treewide: format all inactive Nix files

treewide: format all inactive Nix files

treewide: format all inactive Nix files

treewide: format all inactive Nix files

treewide: format all inactive Nix files

treewide: format all inactive Nix files

treewide: format all inactive Nix files

treewide: format all inactive Nix files

transducers.nix

treewide: format all inactive Nix files

treewide: format all inactive Nix files

treewide: format all inactive Nix files

treewide: format all inactive Nix files

treewide: format all inactive Nix files

treewide: format all inactive Nix files

with-packages.nix

treewide: format all inactive Nix files

treewide: format all inactive Nix files

treewide: format all inactive Nix files

treewide: format all inactive Nix files

treewide: format all inactive Nix files

treewide: format all inactive Nix files

README.md

Moved to /doc/languages-frameworks/idris.section.md