nixpkgs/idris-modules at master - nixpkgs - Perfectly Sane Git

History

…
..
README.md	…
TODO.md	…
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	…
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	…
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	…
quantities.nix	…
rationals.nix	…
recursion_schemes.nix	…
refined.nix	…
sdl.nix	…
sdl2.nix	…
semidirect.nix	…
setoids.nix	…
smproc.nix	…
snippets.nix	…
software_foundations.nix	…
specdris.nix	…
tap.nix	…
test.nix	…
tfrandom.nix	…
tlhydra.nix	…
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