..
README.md
…
TODO.md
idris-modules: add final newline to TODO.md
4 years ago
array.nix
idris-modules: rename name to pname
2 years ago
bi.nix
idris-modules: rename name to pname
2 years ago
bifunctors.nix
idris-modules: rename name to pname
2 years ago
build-builtin-package.nix
idris-modules: rename name to pname
2 years ago
build-idris-package.nix
idris-modules: rename name to pname
2 years ago
bytes.nix
idris-modules: rename name to pname
2 years ago
canvas.nix
idris-modules: rename name to pname
2 years ago
categories.nix
idris-modules: rename name to pname
2 years ago
coda.nix
idris-modules: rename name to pname
2 years ago
comonad.nix
idris-modules: rename name to pname
2 years ago
composition.nix
idris-modules: rename name to pname
2 years ago
config.nix
idris-modules: rename name to pname
2 years ago
console.nix
idris-modules: rename name to pname
2 years ago
containers.nix
idris-modules: rename name to pname
2 years ago
cube.nix
idris-modules: rename name to pname
2 years ago
default.nix
config.allowAliases: Define as option
2 years ago
derive.nix
idris-modules: rename name to pname
2 years ago
descncrunch.nix
idris-modules: rename name to pname
2 years ago
dict.nix
idris-modules: rename name to pname
2 years ago
dom.nix
idris-modules: rename name to pname
2 years ago
electron.nix
idris-modules: rename name to pname
2 years ago
eternal.nix
idris-modules: rename name to pname
2 years ago
farrp.nix
idris-modules: rename name to pname
2 years ago
free.nix
idris-modules: rename name to pname
2 years ago
fsm.nix
idris-modules: rename name to pname
2 years ago
glfw.nix
idris-modules: rename name to pname
2 years ago
graphviz.nix
idris-modules: rename name to pname
2 years ago
hamt.nix
idris-modules: rename name to pname
2 years ago
hezarfen.nix
idris-modules: rename name to pname
2 years ago
hrtime.nix
idris-modules: rename name to pname
2 years ago
html.nix
idris-modules: rename name to pname
2 years ago
http.nix
idris-modules: rename name to pname
2 years ago
http4idris.nix
idris-modules: rename name to pname
2 years ago
iaia.nix
idris-modules: rename name to pname
2 years ago
idris-wrapper.nix
*-wrapper; Switch from `infixSalt` to `suffixSalt`
4 years ago
idrishighlighter.nix
idris-modules: rename name to pname
2 years ago
idrisscript.nix
idris-modules: rename name to pname
2 years ago
ipkgparser.nix
idris-modules: rename name to pname
2 years ago
jheiling-extras.nix
idris-modules: rename name to pname
2 years ago
jheiling-js.nix
idris-modules: rename name to pname
2 years ago
js.nix
idris-modules: rename name to pname
2 years ago
lens.nix
idris-modules: rename name to pname
2 years ago
lightyear.nix
idris-modules: rename name to pname
2 years ago
logic.nix
idris-modules: rename name to pname
2 years ago
mapping.nix
idris-modules: rename name to pname
2 years ago
mhd.nix
idris-modules: rename name to pname
2 years ago
pacman.nix
idris-modules: rename name to pname
2 years ago
patricia.nix
idris-modules: rename name to pname
2 years ago
permutations.nix
idris-modules: rename name to pname
2 years ago
pfds.nix
idris-modules: rename name to pname
2 years ago
pipes.nix
idris-modules: rename name to pname
2 years ago
posix.nix
idris-modules: rename name to pname
2 years ago
quantities.nix
idris-modules: rename name to pname
2 years ago
rationals.nix
idris-modules: rename name to pname
2 years ago
recursion_schemes.nix
idris-modules: rename name to pname
2 years ago
refined.nix
idris-modules: rename name to pname
2 years ago
sdl.nix
idris-modules: rename name to pname
2 years ago
sdl2.nix
idris-modules: rename name to pname
2 years ago
semidirect.nix
idris-modules: rename name to pname
2 years ago
setoids.nix
idris-modules: rename name to pname
2 years ago
smproc.nix
idris-modules: rename name to pname
2 years ago
snippets.nix
idris-modules: rename name to pname
2 years ago
software_foundations.nix
idris-modules: rename name to pname
2 years ago
specdris.nix
idris-modules: rename name to pname
2 years ago
tap.nix
idris-modules: rename name to pname
2 years ago
test.nix
idris-modules: rename name to pname
2 years ago
tfrandom.nix
idris-modules: rename name to pname
2 years ago
tlhydra.nix
idris-modules: rename name to pname
2 years ago
tomladris.nix
idris-modules: rename name to pname
2 years ago
tp.nix
idris-modules: rename name to pname
2 years ago
tparsec.nix
idris-modules: rename name to pname
2 years ago
transducers.nix
idris-modules: rename name to pname
2 years ago
trees.nix
idris-modules: rename name to pname
2 years ago
union_type.nix
idris-modules: rename name to pname
2 years ago
vdom.nix
idris-modules: rename name to pname
2 years ago
vecspace.nix
idris-modules: rename name to pname
2 years ago
webgl.nix
idris-modules: rename name to pname
2 years ago
with-packages.nix
treewide: remove stdenv where not needed
3 years ago
wl-pprint.nix
idris-modules: rename name to pname
2 years ago
wyvern.nix
idris-modules: rename name to pname
2 years ago
xhr.nix
idris-modules: rename name to pname
2 years ago
yaml.nix
idris-modules: rename name to pname
2 years ago
yampa.nix
idris-modules: rename name to pname
2 years ago