nordic-dev.net/nixpkgs
nordic-dev.net/nixpkgs
2
0
Fork 0
mirror of https://github.com/NixOS/nixpkgs.git synced 2024-11-21 22:43:01 +00:00
Code Issues Packages Projects Releases Wiki Activity
master
nixpkgs/pkgs/development/idris-modules
History
Alexis Hildebrandt 755b915a15 treewide: Remove indefinite article from meta.description 
nix run nixpkgs#silver-searcher -- -G '\.nix$' -0l 'description.*"[Aa]n?' pkgs \
  | xargs -0 nix run nixpkgs#gnused -- -i '' -Ee 's/(description.*")[Aa]n? (.)/\1\U\2/'
2024-06-09 23:07:45 +02:00
..
array.nix
bi.nix
bifunctors.nix treewide: Remove indefinite article from meta.description 2024-06-09 23:07:45 +02:00
build-builtin-package.nix
build-idris-package.nix
bytes.nix
canvas.nix
categories.nix
coda.nix
comonad.nix
composition.nix
config.nix treewide: Remove ending period from meta.description 2024-06-09 23:04:51 +02:00
console.nix treewide: Remove indefinite article from meta.description 2024-06-09 23:07:45 +02:00
containers.nix treewide: Remove ending period from meta.description 2024-06-09 23:04:51 +02:00
cube.nix treewide: Remove indefinite article from meta.description 2024-06-09 23:07:45 +02:00
default.nix
derive.nix
descncrunch.nix
dict.nix
dom.nix
electron.nix
eternal.nix
farrp.nix
free.nix
fsm.nix
glfw.nix
graphviz.nix
hamt.nix
hezarfen.nix treewide: Remove indefinite article from meta.description 2024-06-09 23:07:45 +02:00
hrtime.nix
html.nix
http4idris.nix treewide: Remove indefinite article from meta.description 2024-06-09 23:07:45 +02:00
http.nix treewide: Remove indefinite article from meta.description 2024-06-09 23:07:45 +02:00
iaia.nix
idris-wrapper.nix
idrishighlighter.nix
idrisscript.nix
ipkgparser.nix
jheiling-extras.nix
jheiling-js.nix
js.nix
lens.nix
lightyear.nix
logic.nix
mapping.nix
mhd.nix treewide: Remove indefinite article from meta.description 2024-06-09 23:07:45 +02:00
pacman.nix
patricia.nix treewide: Remove ending period from meta.description 2024-06-09 23:04:51 +02:00
permutations.nix
pfds.nix
pipes.nix
posix.nix treewide: Remove ending period from meta.description 2024-06-09 23:04:51 +02:00
quantities.nix
rationals.nix treewide: Remove indefinite article from meta.description 2024-06-09 23:07:45 +02:00
README.md
recursion_schemes.nix
refined.nix
sdl2.nix
semidirect.nix
setoids.nix
smproc.nix
snippets.nix
software_foundations.nix
specdris.nix treewide: Remove indefinite article from meta.description 2024-06-09 23:07:45 +02:00
tap.nix treewide: Remove indefinite article from meta.description 2024-06-09 23:07:45 +02:00
test.nix
tfrandom.nix
tlhydra.nix
TODO.md
tomladris.nix
tp.nix
tparsec.nix
transducers.nix
trees.nix
union_type.nix
vdom.nix
vecspace.nix
webgl.nix
with-packages.nix
wl-pprint.nix
wyvern.nix
xhr.nix
yaml.nix
yampa.nix

README.md

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