.. |
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
|
|
|
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 |