nixpkgs/pkgs/development/idris-modules/ at 18.09-beta · pyrox.dev/nixpkgs

README.md

Move all nixpkgs doc files in to the doc directory

7 years ago

TODO.md

idris-modules: Add docs

10 years ago

array.nix

idrisPackages: Clean up packages

7 years ago

bi.nix

idrisPackages: Clean up packages

7 years ago

bifunctors.nix

idrisPackages: Clean up packages

7 years ago

build-builtin-package.nix

pkgs/*: remove unreferenced function arguments

7 years ago

build-idris-package.nix

idris: prefix package derivation names with "idris-"

7 years ago

bytes.nix

idrisPackages: Clean up packages

7 years ago

canvas.nix

idrisPackages: Clean up packages

7 years ago

categories.nix

idrisPackages.categories: 2017-03-01 -> 2018-07-02, fix build

7 years ago

coda.nix

idrisPackages: Clean up packages

7 years ago

comonad.nix

idrisPackages: Clean up packages

7 years ago

composition.nix

idrisPackages: Clean up packages

7 years ago

config.nix

idrisPackages: Clean up packages

7 years ago

console.nix

idrisPackages: Clean up packages

7 years ago

containers.nix

idrisPackages: Clean up packages

7 years ago

cube.nix

idrisPackages: Clean up packages

7 years ago

curses.nix

idrisPackages: Clean up packages

7 years ago

data.nix

idrisPackages: Clean up packages

7 years ago

default.nix

idrisPackages.quantities: init at 2018-04-17

7 years ago

derive.nix

idrisPackages.derive: 2018-02-15 -> 2018-07-02, fix build

7 years ago

descncrunch.nix

idrisPackages.descncrunch: Mark as broken

7 years ago

dict.nix

idrisPackages: Clean up packages

7 years ago

dom.nix

idrisPackages: Clean up packages

7 years ago

electron.nix

idrisPackages: Clean up packages

7 years ago

eternal.nix

idrisPackages.eternal: 2018-01-25 -> 2018-07-02, fix build

7 years ago

farrp.nix

idrisPackages: Clean up packages

7 years ago

free.nix

idrisPackages: Clean up packages

7 years ago

fsm.nix

idrisPackages: Clean up packages

7 years ago

glfw.nix

idrisPackages: Clean up packages

7 years ago

graphviz.nix

idrisPackages.graphviz: fix homepage (#44355)

7 years ago

hamt.nix

idrisPackages: Clean up packages

7 years ago

heyting-algebra.nix

idrisPackages: Clean up packages

7 years ago

hezarfen.nix

idrisPackages: Clean up packages

7 years ago

hrtime.nix

idrisPackages: Clean up packages

7 years ago

html.nix

idrisPackages: Clean up packages

7 years ago

http.nix

idrisPackages: Clean up packages

7 years ago

http4idris.nix

idrisPackages: Clean up packages

7 years ago

iaia.nix

idrisPackages: Clean up packages

7 years ago

idris-wrapper.nix

idris: Clean up wrapper

7 years ago

idrishighlighter.nix

idrisPackages: Clean up packages

7 years ago

idrisscript.nix

idrisPackages: Clean up packages

7 years ago

ipkgparser.nix

idrisPackages: Clean up packages

7 years ago

jheiling-extras.nix

idrisPackages: Clean up packages

7 years ago

jheiling-js.nix

idrisPackages: Clean up packages

7 years ago

js.nix

idrisPackages: Clean up packages

7 years ago

lens.nix

idrisPackages: Clean up packages

7 years ago

lightyear.nix

idrisPackages: Clean up packages

7 years ago

logic.nix

idrisPackages: Clean up packages

7 years ago

mapping.nix

idrisPackages: Clean up packages

7 years ago

mhd.nix

idrisPackages: Clean up packages

7 years ago

pacman.nix

idrisPackages: Clean up packages

7 years ago

patricia.nix

idrisPackages: Clean up packages

7 years ago

permutations.nix

idrisPackages: Clean up packages

7 years ago

pfds.nix

idrisPackages: Clean up packages

7 years ago

pipes.nix

idrisPackages: Clean up packages

7 years ago

posix.nix

idrisPackages: Clean up packages

7 years ago

protobuf.nix

idrisPackages: Clean up packages

7 years ago

quantities.nix

idrisPackages.quantities: init at 2018-04-17

7 years ago

rationals.nix

idrisPackages: Clean up packages

7 years ago

recursion_schemes.nix

idrisPackages: Clean up packages

7 years ago

refined.nix

idrisPackages: Clean up packages

7 years ago

sdl.nix

idrisPackages.{sdl,sdl2}: Mark as broken

7 years ago

sdl2.nix

idrisPackages.{sdl,sdl2}: Mark as broken

7 years ago

semidirect.nix

idrisPackages.semidirect: 2018-02-06 -> 2018-07-02, fix build

7 years ago

setoids.nix

idrisPackages.setoids: 2017-03-13 -> 2018-06-18, fix build

7 years ago

smproc.nix

idrisPackages: Clean up packages

7 years ago

snippets.nix

idrisPackages: Clean up packages

7 years ago

software_foundations.nix

idrisPackages: Clean up packages

7 years ago

specdris.nix

idrisPackages: Clean up packages

7 years ago

tap.nix

idrisPackages: Clean up packages

7 years ago

test.nix

idrisPackages: Clean up packages

7 years ago

tlhydra.nix

idrisPackages: Clean up packages

7 years ago

tomladris.nix

idrisPackages: Clean up packages

7 years ago

tp.nix

idrisPackages: Clean up packages

7 years ago

tparsec.nix

idrisPackages.tparsec: 2017-12-12 -> 2018-06-26, fix build

7 years ago

transducers.nix

idrisPackages: Clean up packages

7 years ago

trees.nix

idrisPackages: Clean up packages

7 years ago

union_type.nix

idrisPackages: Clean up packages

7 years ago

vdom.nix

idrisPackages: Clean up packages

7 years ago

vecspace.nix

idrisPackages: Clean up packages

7 years ago

webgl.nix

idrisPackages: Clean up packages

7 years ago

with-packages.nix

idris: Clean up package builder

7 years ago

wl-pprint.nix

idrisPackages: Clean up packages

7 years ago

wyvern.nix

idrisPackages: Clean up packages

7 years ago

xhr.nix

idrisPackages: Clean up packages

7 years ago

yaml.nix

idrisPackages: Clean up packages

7 years ago

yampa.nix

idrisPackages: Clean up packages

7 years ago