nixpkgs/pkgs/development/idris-modules
2019-09-24 19:50:04 +02:00
..
array.nix
bi.nix build-idris-package: ipkgName 2018-09-18 10:38:59 +02:00
bifunctors.nix build-idris-package: ipkgName 2018-09-18 10:38:59 +02:00
build-builtin-package.nix
build-idris-package.nix add options for build idris package (#65666) 2019-08-07 13:37:36 +02:00
bytes.nix
canvas.nix build-idris-package: ipkgName 2018-09-18 10:38:59 +02:00
categories.nix idrisPackages.{categories,derive}: Use upstream instead of forks 2018-10-26 11:15:10 +02:00
coda.nix build-idris-package: ipkgName 2018-09-18 10:38:59 +02:00
comonad.nix
composition.nix
config.nix
console.nix
containers.nix build-idris-package: ipkgName 2018-09-18 10:38:59 +02:00
cube.nix
data.nix
default.nix idrisPackages.heyting-algebra: remove 2019-09-24 19:50:04 +02:00
derive.nix idrisPackages.{categories,derive}: Use upstream instead of forks 2018-10-26 11:15:10 +02:00
descncrunch.nix
dict.nix
dom.nix
electron.nix build-idris-package: ipkgName 2018-09-18 10:38:59 +02:00
eternal.nix
farrp.nix
free.nix build-idris-package: ipkgName 2018-09-18 10:38:59 +02:00
fsm.nix
glfw.nix idrisPackages.glfw: Fix runtime 2019-03-26 04:09:24 +01:00
graphviz.nix idrisPackages.graphviz: fix homepage (#44355) 2018-08-02 16:24:48 +02:00
hamt.nix build-idris-package: ipkgName 2018-09-18 10:38:59 +02:00
hezarfen.nix
hrtime.nix build-idris-package: ipkgName 2018-09-18 10:38:59 +02:00
html.nix
http.nix
http4idris.nix
iaia.nix
idris-wrapper.nix idrisPackages.idris-wrapper: Use stdenv's cc instead of always gcc 2019-03-26 04:16:19 +01:00
idrishighlighter.nix build-idris-package: ipkgName 2018-09-18 10:38:59 +02:00
idrisscript.nix
ipkgparser.nix
jheiling-extras.nix
jheiling-js.nix build-idris-package: ipkgName 2018-09-18 10:38:59 +02:00
js.nix
lens.nix
lightyear.nix
logic.nix
mapping.nix
mhd.nix build-idris-package: ipkgName 2018-09-18 10:38:59 +02:00
pacman.nix
patricia.nix build-idris-package: ipkgName 2018-09-18 10:38:59 +02:00
permutations.nix build-idris-package: ipkgName 2018-09-18 10:38:59 +02:00
pfds.nix
pipes.nix
posix.nix
protobuf.nix
quantities.nix idrisPackages.quantities: init at 2018-04-17 2018-08-04 23:10:43 -04:00
rationals.nix
README.md
recursion_schemes.nix build-idris-package: ipkgName 2018-09-18 10:38:59 +02:00
refined.nix build-idris-package: ipkgName 2018-09-18 10:38:59 +02:00
sdl.nix
sdl2.nix idrisPackages.sdl2: 2018-01-19 -> 0.1.1 2019-07-28 07:37:52 +10:00
semidirect.nix
setoids.nix
smproc.nix
snippets.nix build-idris-package: ipkgName 2018-09-18 10:38:59 +02:00
software_foundations.nix
specdris.nix
tap.nix build-idris-package: ipkgName 2018-09-18 10:38:59 +02:00
test.nix
tlhydra.nix
TODO.md
tomladris.nix
tp.nix
tparsec.nix idrisPackages.tparsec: 2018-12-21 -> 2019-06-18 2019-06-21 18:57:15 +03:00
transducers.nix
trees.nix
union_type.nix
vdom.nix build-idris-package: ipkgName 2018-09-18 10:38:59 +02:00
vecspace.nix
webgl.nix
with-packages.nix
wl-pprint.nix
wyvern.nix
xhr.nix
yaml.nix build-idris-package: ipkgName 2018-09-18 10:38:59 +02:00
yampa.nix build-idris-package: ipkgName 2018-09-18 10:38:59 +02:00