JakeHillion/nixpkgs
1
0
Fork 0
Code Issues Pull Requests Actions Packages Projects Releases Wiki Activity
8a77c900dd
nixpkgs/pkgs/development/idris-modules
History
John Ericson 1ac5398589 *-wrapper; Switch from infixSalt to suffixSalt 
I hate the thing too even though I made it, and rather just get rid of
it. But we can't do that yet. In the meantime, this brings us more
inline with autoconf and will make it slightly easier for me to write a
pkg-config wrapper, which we need.
2020-05-12 00:44:44 -04:00
..
array.nix treewide: Per RFC45, remove all unquoted URLs 2020-04-10 17:54:53 +01:00
bi.nix treewide: Per RFC45, remove all unquoted URLs 2020-04-10 17:54:53 +01:00
bifunctors.nix treewide: Per RFC45, remove all unquoted URLs 2020-04-10 17:54:53 +01:00
build-builtin-package.nix pkgs/*: remove unreferenced function arguments 2018-07-21 02:48:04 +00:00
build-idris-package.nix add options for build idris package (#65666) 2019-08-07 13:37:36 +02:00
bytes.nix treewide: Per RFC45, remove all unquoted URLs 2020-04-10 17:54:53 +01:00
canvas.nix treewide: Per RFC45, remove all unquoted URLs 2020-04-10 17:54:53 +01:00
categories.nix treewide: Per RFC45, remove all unquoted URLs 2020-04-10 17:54:53 +01:00
coda.nix treewide: Per RFC45, remove all unquoted URLs 2020-04-10 17:54:53 +01:00
comonad.nix treewide: Per RFC45, remove all unquoted URLs 2020-04-10 17:54:53 +01:00
composition.nix treewide: Per RFC45, remove all unquoted URLs 2020-04-10 17:54:53 +01:00
config.nix treewide: Per RFC45, remove all unquoted URLs 2020-04-10 17:54:53 +01:00
console.nix treewide: Per RFC45, remove all unquoted URLs 2020-04-10 17:54:53 +01:00
containers.nix treewide: Per RFC45, remove all unquoted URLs 2020-04-10 17:54:53 +01:00
cube.nix treewide: Per RFC45, remove all unquoted URLs 2020-04-10 17:54:53 +01:00
data.nix treewide: Per RFC45, remove all unquoted URLs 2020-04-10 17:54:53 +01:00
default.nix idrisPackages: add tf-random package 2020-03-20 13:44:50 +01:00
derive.nix treewide: Per RFC45, remove all unquoted URLs 2020-04-10 17:54:53 +01:00
descncrunch.nix treewide: Per RFC45, remove all unquoted URLs 2020-04-10 17:54:53 +01:00
dict.nix treewide: Per RFC45, remove all unquoted URLs 2020-04-10 17:54:53 +01:00
dom.nix treewide: Per RFC45, remove all unquoted URLs 2020-04-10 17:54:53 +01:00
electron.nix treewide: Per RFC45, remove all unquoted URLs 2020-04-10 17:54:53 +01:00
eternal.nix treewide: Per RFC45, remove all unquoted URLs 2020-04-10 17:54:53 +01:00
farrp.nix treewide: Per RFC45, remove all unquoted URLs 2020-04-10 17:54:53 +01:00
free.nix treewide: Per RFC45, remove all unquoted URLs 2020-04-10 17:54:53 +01:00
fsm.nix treewide: Per RFC45, remove all unquoted URLs 2020-04-10 17:54:53 +01:00
glfw.nix treewide: Per RFC45, remove all unquoted URLs 2020-04-10 17:54:53 +01:00
graphviz.nix treewide: Per RFC45, remove all unquoted URLs 2020-04-10 17:54:53 +01:00
hamt.nix treewide: Per RFC45, remove all unquoted URLs 2020-04-10 17:54:53 +01:00
hezarfen.nix treewide: Per RFC45, remove all unquoted URLs 2020-04-10 17:54:53 +01:00
hrtime.nix treewide: Per RFC45, remove all unquoted URLs 2020-04-10 17:54:53 +01:00
html.nix treewide: Per RFC45, remove all unquoted URLs 2020-04-10 17:54:53 +01:00
http4idris.nix treewide: Per RFC45, remove all unquoted URLs 2020-04-10 17:54:53 +01:00
http.nix treewide: Per RFC45, remove all unquoted URLs 2020-04-10 17:54:53 +01:00
iaia.nix treewide: Per RFC45, remove all unquoted URLs 2020-04-10 17:54:53 +01:00
idris-wrapper.nix *-wrapper; Switch from infixSalt to suffixSalt 2020-05-12 00:44:44 -04:00
idrishighlighter.nix treewide: Per RFC45, remove all unquoted URLs 2020-04-10 17:54:53 +01:00
idrisscript.nix treewide: Per RFC45, remove all unquoted URLs 2020-04-10 17:54:53 +01:00
ipkgparser.nix treewide: Per RFC45, remove all unquoted URLs 2020-04-10 17:54:53 +01:00
jheiling-extras.nix treewide: Per RFC45, remove all unquoted URLs 2020-04-10 17:54:53 +01:00
jheiling-js.nix treewide: Per RFC45, remove all unquoted URLs 2020-04-10 17:54:53 +01:00
js.nix treewide: Per RFC45, remove all unquoted URLs 2020-04-10 17:54:53 +01:00
lens.nix treewide: Per RFC45, remove all unquoted URLs 2020-04-10 17:54:53 +01:00
lightyear.nix treewide: Per RFC45, remove all unquoted URLs 2020-04-10 17:54:53 +01:00
logic.nix treewide: Per RFC45, remove all unquoted URLs 2020-04-10 17:54:53 +01:00
mapping.nix treewide: Per RFC45, remove all unquoted URLs 2020-04-10 17:54:53 +01:00
mhd.nix treewide: Per RFC45, remove all unquoted URLs 2020-04-10 17:54:53 +01:00
pacman.nix treewide: Per RFC45, remove all unquoted URLs 2020-04-10 17:54:53 +01:00
patricia.nix treewide: Per RFC45, remove all unquoted URLs 2020-04-10 17:54:53 +01:00
permutations.nix treewide: Per RFC45, remove all unquoted URLs 2020-04-10 17:54:53 +01:00
pfds.nix treewide: Per RFC45, remove all unquoted URLs 2020-04-10 17:54:53 +01:00
pipes.nix treewide: Per RFC45, remove all unquoted URLs 2020-04-10 17:54:53 +01:00
posix.nix treewide: Per RFC45, remove all unquoted URLs 2020-04-10 17:54:53 +01:00
protobuf.nix treewide: Per RFC45, remove all unquoted URLs 2020-04-10 17:54:53 +01:00
quantities.nix treewide: Per RFC45, remove all unquoted URLs 2020-04-10 17:54:53 +01:00
rationals.nix treewide: Per RFC45, remove all unquoted URLs 2020-04-10 17:54:53 +01:00
README.md Move all nixpkgs doc files in to the doc directory 2018-03-25 19:52:00 -04:00
recursion_schemes.nix treewide: Per RFC45, remove all unquoted URLs 2020-04-10 17:54:53 +01:00
refined.nix treewide: Per RFC45, remove all unquoted URLs 2020-04-10 17:54:53 +01:00
sdl2.nix treewide: Per RFC45, remove all unquoted URLs 2020-04-10 17:54:53 +01:00
sdl.nix treewide: Per RFC45, remove all unquoted URLs 2020-04-10 17:54:53 +01:00
semidirect.nix treewide: Per RFC45, remove all unquoted URLs 2020-04-10 17:54:53 +01:00
setoids.nix treewide: Per RFC45, remove all unquoted URLs 2020-04-10 17:54:53 +01:00
smproc.nix treewide: Per RFC45, remove all unquoted URLs 2020-04-10 17:54:53 +01:00
snippets.nix treewide: Per RFC45, remove all unquoted URLs 2020-04-10 17:54:53 +01:00
software_foundations.nix treewide: Per RFC45, remove all unquoted URLs 2020-04-10 17:54:53 +01:00
specdris.nix treewide: Per RFC45, remove all unquoted URLs 2020-04-10 17:54:53 +01:00
tap.nix treewide: Per RFC45, remove all unquoted URLs 2020-04-10 17:54:53 +01:00
test.nix treewide: Per RFC45, remove all unquoted URLs 2020-04-10 17:54:53 +01:00
tfrandom.nix idrisPackages: add tf-random package 2020-03-20 13:44:50 +01:00
tlhydra.nix treewide: Per RFC45, remove all unquoted URLs 2020-04-10 17:54:53 +01:00
TODO.md idris-modules: Add docs 2015-11-27 13:34:38 -05:00
tomladris.nix treewide: Per RFC45, remove all unquoted URLs 2020-04-10 17:54:53 +01:00
tp.nix treewide: Per RFC45, remove all unquoted URLs 2020-04-10 17:54:53 +01:00
tparsec.nix treewide: Per RFC45, remove all unquoted URLs 2020-04-10 17:54:53 +01:00
transducers.nix treewide: Per RFC45, remove all unquoted URLs 2020-04-10 17:54:53 +01:00
trees.nix treewide: Per RFC45, remove all unquoted URLs 2020-04-10 17:54:53 +01:00
union_type.nix treewide: Per RFC45, remove all unquoted URLs 2020-04-10 17:54:53 +01:00
vdom.nix treewide: Per RFC45, remove all unquoted URLs 2020-04-10 17:54:53 +01:00
vecspace.nix treewide: Per RFC45, remove all unquoted URLs 2020-04-10 17:54:53 +01:00
webgl.nix treewide: Per RFC45, remove all unquoted URLs 2020-04-10 17:54:53 +01:00
with-packages.nix idris: Clean up package builder 2018-07-02 06:13:01 +02:00
wl-pprint.nix treewide: Per RFC45, remove all unquoted URLs 2020-04-10 17:54:53 +01:00
wyvern.nix treewide: Per RFC45, remove all unquoted URLs 2020-04-10 17:54:53 +01:00
xhr.nix treewide: Per RFC45, remove all unquoted URLs 2020-04-10 17:54:53 +01:00
yaml.nix treewide: Per RFC45, remove all unquoted URLs 2020-04-10 17:54:53 +01:00
yampa.nix treewide: Per RFC45, remove all unquoted URLs 2020-04-10 17:54:53 +01:00

README.md

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