This website requires JavaScript.
Explore
Help
Register
Sign In
mirrors
/
nixpkgs
Watch
1
Star
0
Fork
You've already forked nixpkgs
1
mirror of
https://github.com/NixOS/nixpkgs.git
synced
2024-09-11 15:08:33 +01:00
Code
Issues
Wiki
Activity
0260116fe0
nixpkgs
/
pkgs
/
development
/
idris-modules
History
Imuli
a6e17d6f11
idrisPackages.quantities: init at 2018-04-17
2018-08-04 23:10:43 -04:00
..
array.nix
bi.nix
bifunctors.nix
build-builtin-package.nix
pkgs/*: remove unreferenced function arguments
2018-07-21 02:48:04 +00:00
build-idris-package.nix
idris: prefix package derivation names with "idris-"
2018-07-16 16:00:42 +02:00
bytes.nix
canvas.nix
categories.nix
coda.nix
comonad.nix
composition.nix
config.nix
console.nix
containers.nix
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
eternal.nix
idrisPackages.eternal: 2018-01-25 -> 2018-07-02, fix build
2018-07-02 14:07:44 +02:00
farrp.nix
free.nix
fsm.nix
glfw.nix
graphviz.nix
idrisPackages.graphviz: fix homepage (
#44355
)
2018-08-02 16:24:48 +02:00
hamt.nix
heyting-algebra.nix
hezarfen.nix
hrtime.nix
html.nix
http.nix
http4idris.nix
iaia.nix
idris-wrapper.nix
idrishighlighter.nix
idrisscript.nix
ipkgparser.nix
jheiling-extras.nix
jheiling-js.nix
js.nix
lens.nix
lightyear.nix
logic.nix
mapping.nix
mhd.nix
pacman.nix
patricia.nix
permutations.nix
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
refined.nix
sdl.nix
sdl2.nix
semidirect.nix
idrisPackages.semidirect: 2018-02-06 -> 2018-07-02, fix build
2018-07-02 15:39:52 +02:00
setoids.nix
smproc.nix
snippets.nix
software_foundations.nix
specdris.nix
tap.nix
test.nix
tlhydra.nix
TODO.md
tomladris.nix
tp.nix
tparsec.nix
transducers.nix
trees.nix
union_type.nix
vdom.nix
vecspace.nix
webgl.nix
with-packages.nix
wl-pprint.nix
wyvern.nix
xhr.nix
yaml.nix
yampa.nix
README.md
Moved to
/doc/languages-frameworks/idris.section.md