nixpkgs

History

Pavol Rusnak a6ce00c50c treewide: remove stdenv where not needed		2021-01-25 18:31:47 +01:00
..
README.md	…
TODO.md	idris-modules: add final newline to TODO.md	2020-11-09 11:39:28 +00:00
array.nix	…
bi.nix	…
bifunctors.nix	…
build-builtin-package.nix	…
build-idris-package.nix	…
bytes.nix	…
canvas.nix	…
categories.nix	…
coda.nix	…
comonad.nix	…
composition.nix	…
config.nix	…
console.nix	…
containers.nix	…
cube.nix	…
data.nix	…
default.nix	…
derive.nix	…
descncrunch.nix	…
dict.nix	…
dom.nix	…
electron.nix	…
eternal.nix	…
farrp.nix	…
free.nix	…
fsm.nix	…
glfw.nix	treewide: pkgs.pkgconfig -> pkgs.pkg-config, move pkgconfig to alias.nix	2021-01-19 01:16:25 -08:00
graphviz.nix	…
hamt.nix	…
hezarfen.nix	…
hrtime.nix	…
html.nix	…
http.nix	…
http4idris.nix	…
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	…
pacman.nix	…
patricia.nix	…
permutations.nix	…
pfds.nix	…
pipes.nix	…
posix.nix	…
protobuf.nix	…
quantities.nix	…
rationals.nix	…
recursion_schemes.nix	…
refined.nix	…
sdl.nix	…
sdl2.nix	treewide: pkgs.pkgconfig -> pkgs.pkg-config, move pkgconfig to alias.nix	2021-01-19 01:16:25 -08:00
semidirect.nix	…
setoids.nix	…
smproc.nix	…
snippets.nix	…
software_foundations.nix	…
specdris.nix	…
tap.nix	…
test.nix	…
tfrandom.nix	treewide: remove stdenv where not needed	2021-01-25 18:31:47 +01:00
tlhydra.nix	…
tomladris.nix	…
tp.nix	…
tparsec.nix	treewide: editorconfig fixes	2021-01-20 09:11:11 +10:00
transducers.nix	…
trees.nix	…
union_type.nix	…
vdom.nix	…
vecspace.nix	…
webgl.nix	…
with-packages.nix	treewide: remove stdenv where not needed	2021-01-25 18:31:47 +01:00
wl-pprint.nix	…
wyvern.nix	…
xhr.nix	…
yaml.nix	…
yampa.nix	…

README.md

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