nixpkgs/pkgs/development/idris-modules at 4d291d5a77d4717171fdd67ec6b97b7a2c3930da - nixpkgs - Fudo Git

public/nixpkgs

Files

History

TG x 7e0f7a0b54 build-idris-package: ipkgName

2018-09-18 10:38:59 +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

build-idris-package: ipkgName

2018-09-18 10:38:59 +02:00

bytes.nix

…

canvas.nix

build-idris-package: ipkgName

2018-09-18 10:38:59 +02:00

categories.nix

…

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

…

curses.nix

…

data.nix

…

default.nix

idrisPackages.quantities: init at 2018-04-17

2018-08-04 23:10:43 -04:00

derive.nix

…

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

…

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

heyting-algebra.nix

…

hezarfen.nix

…

hrtime.nix

build-idris-package: ipkgName

2018-09-18 10:38:59 +02:00

html.nix

…

http4idris.nix

…

http.nix

…

iaia.nix

…

idris-wrapper.nix

…

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

sdl2.nix

…

sdl.nix

…

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

build-idris-package: ipkgName

2018-09-18 10:38:59 +02: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

README.md

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