kookie
/
nomicon
1
0
Fork 0
Code Issues Projects Releases 1 Activity
My personal project and infrastructure archive
You can not select more than 25 topics Topics must start with a letter or number, can include dashes ('-') and can be up to 35 characters long.
377470 Commits
7 Branches
1 Tag
1.4 GiB
 
 
 
 
 
 
Tag: Branch: Tree: 252d5293da
Branches Tags
${ item.name }
Create tag ${ searchTerm }
Create branch ${ searchTerm }
from '252d5293da'
${ noResults }
nomicon/pkgs/development/idris-modules
History
Robert Hensing 200175a701
config.allowAliases: Define as option 		2 years ago
..
README.md
…
TODO.md
…
array.nix idris-modules: rename name to pname 2 years ago
bi.nix idris-modules: rename name to pname 2 years ago
bifunctors.nix idris-modules: rename name to pname 2 years ago
build-builtin-package.nix idris-modules: rename name to pname 2 years ago
build-idris-package.nix idris-modules: rename name to pname 2 years ago
bytes.nix idris-modules: rename name to pname 2 years ago
canvas.nix idris-modules: rename name to pname 2 years ago
categories.nix idris-modules: rename name to pname 2 years ago
coda.nix idris-modules: rename name to pname 2 years ago
comonad.nix idris-modules: rename name to pname 2 years ago
composition.nix idris-modules: rename name to pname 2 years ago
config.nix idris-modules: rename name to pname 2 years ago
console.nix idris-modules: rename name to pname 2 years ago
containers.nix idris-modules: rename name to pname 2 years ago
cube.nix idris-modules: rename name to pname 2 years ago
default.nix config.allowAliases: Define as option 2 years ago
derive.nix idris-modules: rename name to pname 2 years ago
descncrunch.nix idris-modules: rename name to pname 2 years ago
dict.nix idris-modules: rename name to pname 2 years ago
dom.nix idris-modules: rename name to pname 2 years ago
electron.nix idris-modules: rename name to pname 2 years ago
eternal.nix idris-modules: rename name to pname 2 years ago
farrp.nix idris-modules: rename name to pname 2 years ago
free.nix idris-modules: rename name to pname 2 years ago
fsm.nix idris-modules: rename name to pname 2 years ago
glfw.nix idris-modules: rename name to pname 2 years ago
graphviz.nix idris-modules: rename name to pname 2 years ago
hamt.nix idris-modules: rename name to pname 2 years ago
hezarfen.nix idris-modules: rename name to pname 2 years ago
hrtime.nix idris-modules: rename name to pname 2 years ago
html.nix idris-modules: rename name to pname 2 years ago
http.nix idris-modules: rename name to pname 2 years ago
http4idris.nix idris-modules: rename name to pname 2 years ago
iaia.nix idris-modules: rename name to pname 2 years ago
idris-wrapper.nix
…
idrishighlighter.nix idris-modules: rename name to pname 2 years ago
idrisscript.nix idris-modules: rename name to pname 2 years ago
ipkgparser.nix idris-modules: rename name to pname 2 years ago
jheiling-extras.nix idris-modules: rename name to pname 2 years ago
jheiling-js.nix idris-modules: rename name to pname 2 years ago
js.nix idris-modules: rename name to pname 2 years ago
lens.nix idris-modules: rename name to pname 2 years ago
lightyear.nix idris-modules: rename name to pname 2 years ago
logic.nix idris-modules: rename name to pname 2 years ago
mapping.nix idris-modules: rename name to pname 2 years ago
mhd.nix idris-modules: rename name to pname 2 years ago
pacman.nix idris-modules: rename name to pname 2 years ago
patricia.nix idris-modules: rename name to pname 2 years ago
permutations.nix idris-modules: rename name to pname 2 years ago
pfds.nix idris-modules: rename name to pname 2 years ago
pipes.nix idris-modules: rename name to pname 2 years ago
posix.nix idris-modules: rename name to pname 2 years ago
quantities.nix idris-modules: rename name to pname 2 years ago
rationals.nix idris-modules: rename name to pname 2 years ago
recursion_schemes.nix idris-modules: rename name to pname 2 years ago
refined.nix idris-modules: rename name to pname 2 years ago
sdl.nix idris-modules: rename name to pname 2 years ago
sdl2.nix idris-modules: rename name to pname 2 years ago
semidirect.nix idris-modules: rename name to pname 2 years ago
setoids.nix idris-modules: rename name to pname 2 years ago
smproc.nix idris-modules: rename name to pname 2 years ago
snippets.nix idris-modules: rename name to pname 2 years ago
software_foundations.nix idris-modules: rename name to pname 2 years ago
specdris.nix idris-modules: rename name to pname 2 years ago
tap.nix idris-modules: rename name to pname 2 years ago
test.nix idris-modules: rename name to pname 2 years ago
tfrandom.nix idris-modules: rename name to pname 2 years ago
tlhydra.nix idris-modules: rename name to pname 2 years ago
tomladris.nix idris-modules: rename name to pname 2 years ago
tp.nix idris-modules: rename name to pname 2 years ago
tparsec.nix idris-modules: rename name to pname 2 years ago
transducers.nix idris-modules: rename name to pname 2 years ago
trees.nix idris-modules: rename name to pname 2 years ago
union_type.nix idris-modules: rename name to pname 2 years ago
vdom.nix idris-modules: rename name to pname 2 years ago
vecspace.nix idris-modules: rename name to pname 2 years ago
webgl.nix idris-modules: rename name to pname 2 years ago
with-packages.nix treewide: remove stdenv where not needed 3 years ago
wl-pprint.nix idris-modules: rename name to pname 2 years ago
wyvern.nix idris-modules: rename name to pname 2 years ago
xhr.nix idris-modules: rename name to pname 2 years ago
yaml.nix idris-modules: rename name to pname 2 years ago
yampa.nix idris-modules: rename name to pname 2 years ago

README.md

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