JakeHillion/nixpkgs
1
0
Fork 0
Code Issues Pull Requests Actions Packages Projects Releases Wiki Activity
6cb88c9739
nixpkgs/pkgs/development/idris-modules
History
Robert Hensing 200175a701 config.allowAliases: Define as option 
This simplifies usages and makes the default value consistent.

In a few cases, the default value was interpreted to be `false`,
but this is useless, because virtually nobody will explicitly
set `allowAliases = true;`.
2022-04-01 11:33:10 +02:00
..
array.nix idris-modules: rename name to pname 2022-02-23 11:28:15 +01:00
bi.nix idris-modules: rename name to pname 2022-02-23 11:28:15 +01:00
bifunctors.nix idris-modules: rename name to pname 2022-02-23 11:28:15 +01:00
build-builtin-package.nix idris-modules: rename name to pname 2022-02-23 11:28:15 +01:00
build-idris-package.nix idris-modules: rename name to pname 2022-02-23 11:28:15 +01:00
bytes.nix idris-modules: rename name to pname 2022-02-23 11:28:15 +01:00
canvas.nix idris-modules: rename name to pname 2022-02-23 11:28:15 +01:00
categories.nix idris-modules: rename name to pname 2022-02-23 11:28:15 +01:00
coda.nix idris-modules: rename name to pname 2022-02-23 11:28:15 +01:00
comonad.nix idris-modules: rename name to pname 2022-02-23 11:28:15 +01:00
composition.nix idris-modules: rename name to pname 2022-02-23 11:28:15 +01:00
config.nix idris-modules: rename name to pname 2022-02-23 11:28:15 +01:00
console.nix idris-modules: rename name to pname 2022-02-23 11:28:15 +01:00
containers.nix idris-modules: rename name to pname 2022-02-23 11:28:15 +01:00
cube.nix idris-modules: rename name to pname 2022-02-23 11:28:15 +01:00
default.nix config.allowAliases: Define as option 2022-04-01 11:33:10 +02:00
derive.nix idris-modules: rename name to pname 2022-02-23 11:28:15 +01:00
descncrunch.nix idris-modules: rename name to pname 2022-02-23 11:28:15 +01:00
dict.nix idris-modules: rename name to pname 2022-02-23 11:28:15 +01:00
dom.nix idris-modules: rename name to pname 2022-02-23 11:28:15 +01:00
electron.nix idris-modules: rename name to pname 2022-02-23 11:28:15 +01:00
eternal.nix idris-modules: rename name to pname 2022-02-23 11:28:15 +01:00
farrp.nix idris-modules: rename name to pname 2022-02-23 11:28:15 +01:00
free.nix idris-modules: rename name to pname 2022-02-23 11:28:15 +01:00
fsm.nix idris-modules: rename name to pname 2022-02-23 11:28:15 +01:00
glfw.nix idris-modules: rename name to pname 2022-02-23 11:28:15 +01:00
graphviz.nix idris-modules: rename name to pname 2022-02-23 11:28:15 +01:00
hamt.nix idris-modules: rename name to pname 2022-02-23 11:28:15 +01:00
hezarfen.nix idris-modules: rename name to pname 2022-02-23 11:28:15 +01:00
hrtime.nix idris-modules: rename name to pname 2022-02-23 11:28:15 +01:00
html.nix idris-modules: rename name to pname 2022-02-23 11:28:15 +01:00
http4idris.nix idris-modules: rename name to pname 2022-02-23 11:28:15 +01:00
http.nix idris-modules: rename name to pname 2022-02-23 11:28:15 +01:00
iaia.nix idris-modules: rename name to pname 2022-02-23 11:28:15 +01:00
idris-wrapper.nix
idrishighlighter.nix idris-modules: rename name to pname 2022-02-23 11:28:15 +01:00
idrisscript.nix idris-modules: rename name to pname 2022-02-23 11:28:15 +01:00
ipkgparser.nix idris-modules: rename name to pname 2022-02-23 11:28:15 +01:00
jheiling-extras.nix idris-modules: rename name to pname 2022-02-23 11:28:15 +01:00
jheiling-js.nix idris-modules: rename name to pname 2022-02-23 11:28:15 +01:00
js.nix idris-modules: rename name to pname 2022-02-23 11:28:15 +01:00
lens.nix idris-modules: rename name to pname 2022-02-23 11:28:15 +01:00
lightyear.nix idris-modules: rename name to pname 2022-02-23 11:28:15 +01:00
logic.nix idris-modules: rename name to pname 2022-02-23 11:28:15 +01:00
mapping.nix idris-modules: rename name to pname 2022-02-23 11:28:15 +01:00
mhd.nix idris-modules: rename name to pname 2022-02-23 11:28:15 +01:00
pacman.nix idris-modules: rename name to pname 2022-02-23 11:28:15 +01:00
patricia.nix idris-modules: rename name to pname 2022-02-23 11:28:15 +01:00
permutations.nix idris-modules: rename name to pname 2022-02-23 11:28:15 +01:00
pfds.nix idris-modules: rename name to pname 2022-02-23 11:28:15 +01:00
pipes.nix idris-modules: rename name to pname 2022-02-23 11:28:15 +01:00
posix.nix idris-modules: rename name to pname 2022-02-23 11:28:15 +01:00
quantities.nix idris-modules: rename name to pname 2022-02-23 11:28:15 +01:00
rationals.nix idris-modules: rename name to pname 2022-02-23 11:28:15 +01:00
README.md
recursion_schemes.nix idris-modules: rename name to pname 2022-02-23 11:28:15 +01:00
refined.nix idris-modules: rename name to pname 2022-02-23 11:28:15 +01:00
sdl2.nix idris-modules: rename name to pname 2022-02-23 11:28:15 +01:00
sdl.nix idris-modules: rename name to pname 2022-02-23 11:28:15 +01:00
semidirect.nix idris-modules: rename name to pname 2022-02-23 11:28:15 +01:00
setoids.nix idris-modules: rename name to pname 2022-02-23 11:28:15 +01:00
smproc.nix idris-modules: rename name to pname 2022-02-23 11:28:15 +01:00
snippets.nix idris-modules: rename name to pname 2022-02-23 11:28:15 +01:00
software_foundations.nix idris-modules: rename name to pname 2022-02-23 11:28:15 +01:00
specdris.nix idris-modules: rename name to pname 2022-02-23 11:28:15 +01:00
tap.nix idris-modules: rename name to pname 2022-02-23 11:28:15 +01:00
test.nix idris-modules: rename name to pname 2022-02-23 11:28:15 +01:00
tfrandom.nix idris-modules: rename name to pname 2022-02-23 11:28:15 +01:00
tlhydra.nix idris-modules: rename name to pname 2022-02-23 11:28:15 +01:00
TODO.md idris-modules: add final newline to TODO.md 2020-11-09 11:39:28 +00:00
tomladris.nix idris-modules: rename name to pname 2022-02-23 11:28:15 +01:00
tp.nix idris-modules: rename name to pname 2022-02-23 11:28:15 +01:00
tparsec.nix idris-modules: rename name to pname 2022-02-23 11:28:15 +01:00
transducers.nix idris-modules: rename name to pname 2022-02-23 11:28:15 +01:00
trees.nix idris-modules: rename name to pname 2022-02-23 11:28:15 +01:00
union_type.nix idris-modules: rename name to pname 2022-02-23 11:28:15 +01:00
vdom.nix idris-modules: rename name to pname 2022-02-23 11:28:15 +01:00
vecspace.nix idris-modules: rename name to pname 2022-02-23 11:28:15 +01:00
webgl.nix idris-modules: rename name to pname 2022-02-23 11:28:15 +01:00
with-packages.nix treewide: remove stdenv where not needed 2021-01-25 18:31:47 +01:00
wl-pprint.nix idris-modules: rename name to pname 2022-02-23 11:28:15 +01:00
wyvern.nix idris-modules: rename name to pname 2022-02-23 11:28:15 +01:00
xhr.nix idris-modules: rename name to pname 2022-02-23 11:28:15 +01:00
yaml.nix idris-modules: rename name to pname 2022-02-23 11:28:15 +01:00
yampa.nix idris-modules: rename name to pname 2022-02-23 11:28:15 +01:00

README.md

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