lukegb/depot
1
0
Fork 0
Code Issues 1 Pull requests Projects Packages Activity Actions
depot/pkgs/development/idris-modules
History
Luke Granger-Brown 57725ef3ec Squashed 'third_party/nixpkgs/' content from commit 76612b17c0ce 
git-subtree-dir: third_party/nixpkgs
git-subtree-split: 76612b17c0ce71689921ca12d9ffdc9c23ce40b2
2024-11-10 23:59:47 +00:00
..
array.nix Squashed 'third_party/nixpkgs/' content from commit 76612b17c0ce 2024-11-10 23:59:47 +00:00
bi.nix Squashed 'third_party/nixpkgs/' content from commit 76612b17c0ce 2024-11-10 23:59:47 +00:00
bifunctors.nix Squashed 'third_party/nixpkgs/' content from commit 76612b17c0ce 2024-11-10 23:59:47 +00:00
build-builtin-package.nix Squashed 'third_party/nixpkgs/' content from commit 76612b17c0ce 2024-11-10 23:59:47 +00:00
build-idris-package.nix Squashed 'third_party/nixpkgs/' content from commit 76612b17c0ce 2024-11-10 23:59:47 +00:00
bytes.nix Squashed 'third_party/nixpkgs/' content from commit 76612b17c0ce 2024-11-10 23:59:47 +00:00
canvas.nix Squashed 'third_party/nixpkgs/' content from commit 76612b17c0ce 2024-11-10 23:59:47 +00:00
categories.nix Squashed 'third_party/nixpkgs/' content from commit 76612b17c0ce 2024-11-10 23:59:47 +00:00
coda.nix Squashed 'third_party/nixpkgs/' content from commit 76612b17c0ce 2024-11-10 23:59:47 +00:00
comonad.nix Squashed 'third_party/nixpkgs/' content from commit 76612b17c0ce 2024-11-10 23:59:47 +00:00
composition.nix Squashed 'third_party/nixpkgs/' content from commit 76612b17c0ce 2024-11-10 23:59:47 +00:00
config.nix Squashed 'third_party/nixpkgs/' content from commit 76612b17c0ce 2024-11-10 23:59:47 +00:00
console.nix Squashed 'third_party/nixpkgs/' content from commit 76612b17c0ce 2024-11-10 23:59:47 +00:00
containers.nix Squashed 'third_party/nixpkgs/' content from commit 76612b17c0ce 2024-11-10 23:59:47 +00:00
cube.nix Squashed 'third_party/nixpkgs/' content from commit 76612b17c0ce 2024-11-10 23:59:47 +00:00
default.nix Squashed 'third_party/nixpkgs/' content from commit 76612b17c0ce 2024-11-10 23:59:47 +00:00
derive.nix Squashed 'third_party/nixpkgs/' content from commit 76612b17c0ce 2024-11-10 23:59:47 +00:00
descncrunch.nix Squashed 'third_party/nixpkgs/' content from commit 76612b17c0ce 2024-11-10 23:59:47 +00:00
dict.nix Squashed 'third_party/nixpkgs/' content from commit 76612b17c0ce 2024-11-10 23:59:47 +00:00
dom.nix Squashed 'third_party/nixpkgs/' content from commit 76612b17c0ce 2024-11-10 23:59:47 +00:00
electron.nix Squashed 'third_party/nixpkgs/' content from commit 76612b17c0ce 2024-11-10 23:59:47 +00:00
eternal.nix Squashed 'third_party/nixpkgs/' content from commit 76612b17c0ce 2024-11-10 23:59:47 +00:00
farrp.nix Squashed 'third_party/nixpkgs/' content from commit 76612b17c0ce 2024-11-10 23:59:47 +00:00
free.nix Squashed 'third_party/nixpkgs/' content from commit 76612b17c0ce 2024-11-10 23:59:47 +00:00
fsm.nix Squashed 'third_party/nixpkgs/' content from commit 76612b17c0ce 2024-11-10 23:59:47 +00:00
glfw.nix Squashed 'third_party/nixpkgs/' content from commit 76612b17c0ce 2024-11-10 23:59:47 +00:00
graphviz.nix Squashed 'third_party/nixpkgs/' content from commit 76612b17c0ce 2024-11-10 23:59:47 +00:00
hamt.nix Squashed 'third_party/nixpkgs/' content from commit 76612b17c0ce 2024-11-10 23:59:47 +00:00
hezarfen.nix Squashed 'third_party/nixpkgs/' content from commit 76612b17c0ce 2024-11-10 23:59:47 +00:00
hrtime.nix Squashed 'third_party/nixpkgs/' content from commit 76612b17c0ce 2024-11-10 23:59:47 +00:00
html.nix Squashed 'third_party/nixpkgs/' content from commit 76612b17c0ce 2024-11-10 23:59:47 +00:00
http.nix Squashed 'third_party/nixpkgs/' content from commit 76612b17c0ce 2024-11-10 23:59:47 +00:00
http4idris.nix Squashed 'third_party/nixpkgs/' content from commit 76612b17c0ce 2024-11-10 23:59:47 +00:00
iaia.nix Squashed 'third_party/nixpkgs/' content from commit 76612b17c0ce 2024-11-10 23:59:47 +00:00
idris-wrapper.nix Squashed 'third_party/nixpkgs/' content from commit 76612b17c0ce 2024-11-10 23:59:47 +00:00
idrishighlighter.nix Squashed 'third_party/nixpkgs/' content from commit 76612b17c0ce 2024-11-10 23:59:47 +00:00
idrisscript.nix Squashed 'third_party/nixpkgs/' content from commit 76612b17c0ce 2024-11-10 23:59:47 +00:00
ipkgparser.nix Squashed 'third_party/nixpkgs/' content from commit 76612b17c0ce 2024-11-10 23:59:47 +00:00
jheiling-extras.nix Squashed 'third_party/nixpkgs/' content from commit 76612b17c0ce 2024-11-10 23:59:47 +00:00
jheiling-js.nix Squashed 'third_party/nixpkgs/' content from commit 76612b17c0ce 2024-11-10 23:59:47 +00:00
js.nix Squashed 'third_party/nixpkgs/' content from commit 76612b17c0ce 2024-11-10 23:59:47 +00:00
lens.nix Squashed 'third_party/nixpkgs/' content from commit 76612b17c0ce 2024-11-10 23:59:47 +00:00
lightyear.nix Squashed 'third_party/nixpkgs/' content from commit 76612b17c0ce 2024-11-10 23:59:47 +00:00
logic.nix Squashed 'third_party/nixpkgs/' content from commit 76612b17c0ce 2024-11-10 23:59:47 +00:00
mapping.nix Squashed 'third_party/nixpkgs/' content from commit 76612b17c0ce 2024-11-10 23:59:47 +00:00
mhd.nix Squashed 'third_party/nixpkgs/' content from commit 76612b17c0ce 2024-11-10 23:59:47 +00:00
pacman.nix Squashed 'third_party/nixpkgs/' content from commit 76612b17c0ce 2024-11-10 23:59:47 +00:00
patricia.nix Squashed 'third_party/nixpkgs/' content from commit 76612b17c0ce 2024-11-10 23:59:47 +00:00
permutations.nix Squashed 'third_party/nixpkgs/' content from commit 76612b17c0ce 2024-11-10 23:59:47 +00:00
pfds.nix Squashed 'third_party/nixpkgs/' content from commit 76612b17c0ce 2024-11-10 23:59:47 +00:00
pipes.nix Squashed 'third_party/nixpkgs/' content from commit 76612b17c0ce 2024-11-10 23:59:47 +00:00
posix.nix Squashed 'third_party/nixpkgs/' content from commit 76612b17c0ce 2024-11-10 23:59:47 +00:00
quantities.nix Squashed 'third_party/nixpkgs/' content from commit 76612b17c0ce 2024-11-10 23:59:47 +00:00
rationals.nix Squashed 'third_party/nixpkgs/' content from commit 76612b17c0ce 2024-11-10 23:59:47 +00:00
README.md Squashed 'third_party/nixpkgs/' content from commit 76612b17c0ce 2024-11-10 23:59:47 +00:00
recursion_schemes.nix Squashed 'third_party/nixpkgs/' content from commit 76612b17c0ce 2024-11-10 23:59:47 +00:00
refined.nix Squashed 'third_party/nixpkgs/' content from commit 76612b17c0ce 2024-11-10 23:59:47 +00:00
sdl2.nix Squashed 'third_party/nixpkgs/' content from commit 76612b17c0ce 2024-11-10 23:59:47 +00:00
semidirect.nix Squashed 'third_party/nixpkgs/' content from commit 76612b17c0ce 2024-11-10 23:59:47 +00:00
setoids.nix Squashed 'third_party/nixpkgs/' content from commit 76612b17c0ce 2024-11-10 23:59:47 +00:00
smproc.nix Squashed 'third_party/nixpkgs/' content from commit 76612b17c0ce 2024-11-10 23:59:47 +00:00
snippets.nix Squashed 'third_party/nixpkgs/' content from commit 76612b17c0ce 2024-11-10 23:59:47 +00:00
software_foundations.nix Squashed 'third_party/nixpkgs/' content from commit 76612b17c0ce 2024-11-10 23:59:47 +00:00
specdris.nix Squashed 'third_party/nixpkgs/' content from commit 76612b17c0ce 2024-11-10 23:59:47 +00:00
tap.nix Squashed 'third_party/nixpkgs/' content from commit 76612b17c0ce 2024-11-10 23:59:47 +00:00
test.nix Squashed 'third_party/nixpkgs/' content from commit 76612b17c0ce 2024-11-10 23:59:47 +00:00
tfrandom.nix Squashed 'third_party/nixpkgs/' content from commit 76612b17c0ce 2024-11-10 23:59:47 +00:00
tlhydra.nix Squashed 'third_party/nixpkgs/' content from commit 76612b17c0ce 2024-11-10 23:59:47 +00:00
TODO.md Squashed 'third_party/nixpkgs/' content from commit 76612b17c0ce 2024-11-10 23:59:47 +00:00
tomladris.nix Squashed 'third_party/nixpkgs/' content from commit 76612b17c0ce 2024-11-10 23:59:47 +00:00
tp.nix Squashed 'third_party/nixpkgs/' content from commit 76612b17c0ce 2024-11-10 23:59:47 +00:00
tparsec.nix Squashed 'third_party/nixpkgs/' content from commit 76612b17c0ce 2024-11-10 23:59:47 +00:00
transducers.nix Squashed 'third_party/nixpkgs/' content from commit 76612b17c0ce 2024-11-10 23:59:47 +00:00
trees.nix Squashed 'third_party/nixpkgs/' content from commit 76612b17c0ce 2024-11-10 23:59:47 +00:00
union_type.nix Squashed 'third_party/nixpkgs/' content from commit 76612b17c0ce 2024-11-10 23:59:47 +00:00
vdom.nix Squashed 'third_party/nixpkgs/' content from commit 76612b17c0ce 2024-11-10 23:59:47 +00:00
vecspace.nix Squashed 'third_party/nixpkgs/' content from commit 76612b17c0ce 2024-11-10 23:59:47 +00:00
webgl.nix Squashed 'third_party/nixpkgs/' content from commit 76612b17c0ce 2024-11-10 23:59:47 +00:00
with-packages.nix Squashed 'third_party/nixpkgs/' content from commit 76612b17c0ce 2024-11-10 23:59:47 +00:00
wl-pprint.nix Squashed 'third_party/nixpkgs/' content from commit 76612b17c0ce 2024-11-10 23:59:47 +00:00
wyvern.nix Squashed 'third_party/nixpkgs/' content from commit 76612b17c0ce 2024-11-10 23:59:47 +00:00
xhr.nix Squashed 'third_party/nixpkgs/' content from commit 76612b17c0ce 2024-11-10 23:59:47 +00:00
yaml.nix Squashed 'third_party/nixpkgs/' content from commit 76612b17c0ce 2024-11-10 23:59:47 +00:00
yampa.nix Squashed 'third_party/nixpkgs/' content from commit 76612b17c0ce 2024-11-10 23:59:47 +00:00

README.md

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