.. |
README.md
|
Move all nixpkgs doc files in to the doc directory
|
6 years ago |
TODO.md
|
idris-modules: add final newline to TODO.md
|
4 years ago |
array.nix
|
treewide: Per RFC45, remove all unquoted URLs
|
4 years ago |
bi.nix
|
treewide: Per RFC45, remove all unquoted URLs
|
4 years ago |
bifunctors.nix
|
treewide: Per RFC45, remove all unquoted URLs
|
4 years ago |
build-builtin-package.nix
|
pkgs/*: remove unreferenced function arguments
|
6 years ago |
build-idris-package.nix
|
build-idris-package: Use patchPhase for consistency
|
3 years ago |
bytes.nix
|
treewide: Per RFC45, remove all unquoted URLs
|
4 years ago |
canvas.nix
|
treewide: Per RFC45, remove all unquoted URLs
|
4 years ago |
categories.nix
|
treewide: Per RFC45, remove all unquoted URLs
|
4 years ago |
coda.nix
|
treewide: Per RFC45, remove all unquoted URLs
|
4 years ago |
comonad.nix
|
treewide: Per RFC45, remove all unquoted URLs
|
4 years ago |
composition.nix
|
treewide: Per RFC45, remove all unquoted URLs
|
4 years ago |
config.nix
|
treewide: Per RFC45, remove all unquoted URLs
|
4 years ago |
console.nix
|
treewide: Per RFC45, remove all unquoted URLs
|
4 years ago |
containers.nix
|
treewide: Per RFC45, remove all unquoted URLs
|
4 years ago |
cube.nix
|
treewide: Per RFC45, remove all unquoted URLs
|
4 years ago |
default.nix
|
idrisPackages.data: remove broken package at 2018-03-19
|
3 years ago |
derive.nix
|
treewide: Per RFC45, remove all unquoted URLs
|
4 years ago |
descncrunch.nix
|
treewide: Per RFC45, remove all unquoted URLs
|
4 years ago |
dict.nix
|
treewide: Per RFC45, remove all unquoted URLs
|
4 years ago |
dom.nix
|
treewide: Per RFC45, remove all unquoted URLs
|
4 years ago |
electron.nix
|
treewide: Per RFC45, remove all unquoted URLs
|
4 years ago |
eternal.nix
|
treewide: Per RFC45, remove all unquoted URLs
|
4 years ago |
farrp.nix
|
treewide: Per RFC45, remove all unquoted URLs
|
4 years ago |
free.nix
|
treewide: Per RFC45, remove all unquoted URLs
|
4 years ago |
fsm.nix
|
treewide: Per RFC45, remove all unquoted URLs
|
4 years ago |
glfw.nix
|
treewide: pkgs.pkgconfig -> pkgs.pkg-config, move pkgconfig to alias.nix
|
3 years ago |
graphviz.nix
|
treewide: Per RFC45, remove all unquoted URLs
|
4 years ago |
hamt.nix
|
treewide: Per RFC45, remove all unquoted URLs
|
4 years ago |
hezarfen.nix
|
treewide: Per RFC45, remove all unquoted URLs
|
4 years ago |
hrtime.nix
|
treewide: Per RFC45, remove all unquoted URLs
|
4 years ago |
html.nix
|
treewide: Per RFC45, remove all unquoted URLs
|
4 years ago |
http.nix
|
treewide: Per RFC45, remove all unquoted URLs
|
4 years ago |
http4idris.nix
|
treewide: Per RFC45, remove all unquoted URLs
|
4 years ago |
iaia.nix
|
treewide: Per RFC45, remove all unquoted URLs
|
4 years ago |
idris-wrapper.nix
|
*-wrapper; Switch from `infixSalt` to `suffixSalt`
|
4 years ago |
idrishighlighter.nix
|
treewide: Per RFC45, remove all unquoted URLs
|
4 years ago |
idrisscript.nix
|
treewide: Per RFC45, remove all unquoted URLs
|
4 years ago |
ipkgparser.nix
|
treewide: Per RFC45, remove all unquoted URLs
|
4 years ago |
jheiling-extras.nix
|
treewide: Per RFC45, remove all unquoted URLs
|
4 years ago |
jheiling-js.nix
|
treewide: Per RFC45, remove all unquoted URLs
|
4 years ago |
js.nix
|
treewide: Per RFC45, remove all unquoted URLs
|
4 years ago |
lens.nix
|
treewide: Per RFC45, remove all unquoted URLs
|
4 years ago |
lightyear.nix
|
treewide: Per RFC45, remove all unquoted URLs
|
4 years ago |
logic.nix
|
treewide: Per RFC45, remove all unquoted URLs
|
4 years ago |
mapping.nix
|
treewide: Per RFC45, remove all unquoted URLs
|
4 years ago |
mhd.nix
|
treewide: Per RFC45, remove all unquoted URLs
|
4 years ago |
pacman.nix
|
treewide: Per RFC45, remove all unquoted URLs
|
4 years ago |
patricia.nix
|
treewide: Per RFC45, remove all unquoted URLs
|
4 years ago |
permutations.nix
|
treewide: Per RFC45, remove all unquoted URLs
|
4 years ago |
pfds.nix
|
treewide: Per RFC45, remove all unquoted URLs
|
4 years ago |
pipes.nix
|
treewide: Per RFC45, remove all unquoted URLs
|
4 years ago |
posix.nix
|
treewide: Per RFC45, remove all unquoted URLs
|
4 years ago |
protobuf.nix
|
treewide: Per RFC45, remove all unquoted URLs
|
4 years ago |
quantities.nix
|
treewide: Per RFC45, remove all unquoted URLs
|
4 years ago |
rationals.nix
|
treewide: Per RFC45, remove all unquoted URLs
|
4 years ago |
recursion_schemes.nix
|
treewide: Per RFC45, remove all unquoted URLs
|
4 years ago |
refined.nix
|
treewide: Per RFC45, remove all unquoted URLs
|
4 years ago |
sdl.nix
|
treewide: Per RFC45, remove all unquoted URLs
|
4 years ago |
sdl2.nix
|
idrisPackages.sdl2: fix sources sha256
|
3 years ago |
semidirect.nix
|
treewide: Per RFC45, remove all unquoted URLs
|
4 years ago |
setoids.nix
|
treewide: Per RFC45, remove all unquoted URLs
|
4 years ago |
smproc.nix
|
treewide: Per RFC45, remove all unquoted URLs
|
4 years ago |
snippets.nix
|
treewide: Per RFC45, remove all unquoted URLs
|
4 years ago |
software_foundations.nix
|
treewide: Per RFC45, remove all unquoted URLs
|
4 years ago |
specdris.nix
|
treewide: Per RFC45, remove all unquoted URLs
|
4 years ago |
tap.nix
|
treewide: Per RFC45, remove all unquoted URLs
|
4 years ago |
test.nix
|
treewide: Per RFC45, remove all unquoted URLs
|
4 years ago |
tfrandom.nix
|
treewide: remove stdenv where not needed
|
3 years ago |
tlhydra.nix
|
treewide: Per RFC45, remove all unquoted URLs
|
4 years ago |
tomladris.nix
|
treewide: Per RFC45, remove all unquoted URLs
|
4 years ago |
tp.nix
|
treewide: Per RFC45, remove all unquoted URLs
|
4 years ago |
tparsec.nix
|
treewide: editorconfig fixes
|
3 years ago |
transducers.nix
|
treewide: Per RFC45, remove all unquoted URLs
|
4 years ago |
trees.nix
|
treewide: Per RFC45, remove all unquoted URLs
|
4 years ago |
union_type.nix
|
treewide: Per RFC45, remove all unquoted URLs
|
4 years ago |
vdom.nix
|
treewide: Per RFC45, remove all unquoted URLs
|
4 years ago |
vecspace.nix
|
treewide: Per RFC45, remove all unquoted URLs
|
4 years ago |
webgl.nix
|
treewide: Per RFC45, remove all unquoted URLs
|
4 years ago |
with-packages.nix
|
treewide: remove stdenv where not needed
|
3 years ago |
wl-pprint.nix
|
treewide: Per RFC45, remove all unquoted URLs
|
4 years ago |
wyvern.nix
|
treewide: Per RFC45, remove all unquoted URLs
|
4 years ago |
xhr.nix
|
treewide: Per RFC45, remove all unquoted URLs
|
4 years ago |
yaml.nix
|
treewide: Per RFC45, remove all unquoted URLs
|
4 years ago |
yampa.nix
|
treewide: Per RFC45, remove all unquoted URLs
|
4 years ago |