nathan/nixpkgs
1
0
Fork 0
mirror of https://github.com/NixOS/nixpkgs.git synced 2026-06-05 21:03:40 +00:00
Code Issues Packages Projects Releases Wiki Activity
Files
master
nixpkgs/pkgs/development/idris-modules
History
Ben Siraphob 59b52db759 treewide: remove redundant name attrs and parseDrvName calls
2026-04-01 21:04:20 -07:00
..
array.nix
treewide: format all inactive Nix files
2024-12-10 20:26:33 +01:00
bi.nix
…
bifunctors.nix
…
build-builtin-package.nix
treewide: remove redundant name attrs and parseDrvName calls
2026-04-01 21:04:20 -07:00
build-idris-package.nix
pkgs: remove optional builtins prefixes from prelude functions
2025-10-04 19:02:37 +02:00
bytes.nix
treewide: format all inactive Nix files
2024-12-10 20:26:33 +01:00
canvas.nix
…
categories.nix
…
coda.nix
…
comonad.nix
treewide: format all inactive Nix files
2024-12-10 20:26:33 +01:00
composition.nix
treewide: format all inactive Nix files
2024-12-10 20:26:33 +01:00
config.nix
…
console.nix
…
containers.nix
treewide: format all inactive Nix files
2024-12-10 20:26:33 +01:00
cube.nix
…
default.nix
treewide: remove references to the xorg namespace in pkgs (manual)
2026-01-25 22:28:14 +01:00
derive.nix
treewide: format all inactive Nix files
2024-12-10 20:26:33 +01:00
dict.nix
…
dom.nix
treewide: format all inactive Nix files
2024-12-10 20:26:33 +01:00
electron.nix
…
eternal.nix
…
farrp.nix
…
free.nix
…
fsm.nix
…
glfw.nix
…
graphviz.nix
…
hamt.nix
…
hezarfen.nix
…
hrtime.nix
treewide: format all inactive Nix files
2024-12-10 20:26:33 +01:00
html.nix
treewide: format all inactive Nix files
2024-12-10 20:26:33 +01:00
http4idris.nix
treewide: format all inactive Nix files
2024-12-10 20:26:33 +01:00
http.nix
treewide: format all inactive Nix files
2024-12-10 20:26:33 +01:00
iaia.nix
…
idris-wrapper.nix
{idris, idrisPackages.idris}: set pname and version
2026-02-23 14:41:51 +01:00
idrishighlighter.nix
…
idrisscript.nix
treewide: format all inactive Nix files
2024-12-10 20:26:33 +01:00
ipkgparser.nix
treewide: format all inactive Nix files
2024-12-10 20:26:33 +01:00
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
…
quantities.nix
treewide: format all inactive Nix files
2024-12-10 20:26:33 +01:00
rationals.nix
…
README.md
Move all nixpkgs doc files in to the doc directory
2018-03-25 19:52:00 -04:00
recursion_schemes.nix
…
refined.nix
…
sdl2.nix
…
semidirect.nix
…
setoids.nix
treewide: format all inactive Nix files
2024-12-10 20:26:33 +01:00
smproc.nix
treewide: format all inactive Nix files
2024-12-10 20:26:33 +01:00
snippets.nix
…
software_foundations.nix
…
specdris.nix
treewide: format all inactive Nix files
2024-12-10 20:26:33 +01:00
tap.nix
treewide: format all inactive Nix files
2024-12-10 20:26:33 +01:00
test.nix
treewide: format all inactive Nix files
2024-12-10 20:26:33 +01:00
tfrandom.nix
…
tlhydra.nix
…
TODO.md
…
tomladris.nix
…
tp.nix
…
tparsec.nix
…
transducers.nix
…
trees.nix
…
union_type.nix
…
vdom.nix
…
vecspace.nix
treewide: format all inactive Nix files
2024-12-10 20:26:33 +01:00
webgl.nix
…
with-packages.nix
{idris, idrisPackages.idris}: set pname and version
2026-02-23 14:41:51 +01:00
wl-pprint.nix
treewide: format all inactive Nix files
2024-12-10 20:26:33 +01:00
wyvern.nix
…
xhr.nix
…
yaml.nix
…
yampa.nix
…

README.md

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

Reference in New Issue View Git Blame Copy Permalink