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.
228893 Commits
7 Branches
1 Tag
1.4 GiB
 
 
 
 
 
 
Tag: Branch: Tree: 3907853faa
Branches Tags
${ item.name }
Create tag ${ searchTerm }
Create branch ${ searchTerm }
from '3907853faa'
${ noResults }
nomicon/pkgs/development/idris-modules
History
Daiderd Jordan b7ddbd52bd
treewide: replace SRI hashes 		4 years ago
..
README.md
…
TODO.md
…
array.nix treewide: Per RFC45, remove all unquoted URLs 4 years ago
bi.nix treewide: Per RFC45, remove all unquoted URLs 4 years ago
bifunctors.nix treewide: Per RFC45, remove all unquoted URLs 4 years ago
build-builtin-package.nix
…
build-idris-package.nix add options for build idris package (#65666) 5 years ago
bytes.nix treewide: Per RFC45, remove all unquoted URLs 4 years ago
canvas.nix treewide: Per RFC45, remove all unquoted URLs 4 years ago
categories.nix treewide: Per RFC45, remove all unquoted URLs 4 years ago
coda.nix treewide: Per RFC45, remove all unquoted URLs 4 years ago
comonad.nix treewide: Per RFC45, remove all unquoted URLs 4 years ago
composition.nix treewide: Per RFC45, remove all unquoted URLs 4 years ago
config.nix treewide: Per RFC45, remove all unquoted URLs 4 years ago
console.nix treewide: Per RFC45, remove all unquoted URLs 4 years ago
containers.nix treewide: Per RFC45, remove all unquoted URLs 4 years ago
cube.nix treewide: Per RFC45, remove all unquoted URLs 4 years ago
data.nix treewide: Per RFC45, remove all unquoted URLs 4 years ago
default.nix idrisPackages: add tf-random package 4 years ago
derive.nix treewide: Per RFC45, remove all unquoted URLs 4 years ago
descncrunch.nix treewide: Per RFC45, remove all unquoted URLs 4 years ago
dict.nix treewide: Per RFC45, remove all unquoted URLs 4 years ago
dom.nix treewide: Per RFC45, remove all unquoted URLs 4 years ago
electron.nix treewide: Per RFC45, remove all unquoted URLs 4 years ago
eternal.nix treewide: Per RFC45, remove all unquoted URLs 4 years ago
farrp.nix treewide: Per RFC45, remove all unquoted URLs 4 years ago
free.nix treewide: Per RFC45, remove all unquoted URLs 4 years ago
fsm.nix treewide: Per RFC45, remove all unquoted URLs 4 years ago
glfw.nix treewide: Per RFC45, remove all unquoted URLs 4 years ago
graphviz.nix treewide: Per RFC45, remove all unquoted URLs 4 years ago
hamt.nix treewide: Per RFC45, remove all unquoted URLs 4 years ago
hezarfen.nix treewide: Per RFC45, remove all unquoted URLs 4 years ago
hrtime.nix treewide: Per RFC45, remove all unquoted URLs 4 years ago
html.nix treewide: Per RFC45, remove all unquoted URLs 4 years ago
http.nix treewide: Per RFC45, remove all unquoted URLs 4 years ago
http4idris.nix treewide: Per RFC45, remove all unquoted URLs 4 years ago
iaia.nix treewide: Per RFC45, remove all unquoted URLs 4 years ago
idris-wrapper.nix
…
idrishighlighter.nix treewide: Per RFC45, remove all unquoted URLs 4 years ago
idrisscript.nix treewide: Per RFC45, remove all unquoted URLs 4 years ago
ipkgparser.nix treewide: Per RFC45, remove all unquoted URLs 4 years ago
jheiling-extras.nix treewide: Per RFC45, remove all unquoted URLs 4 years ago
jheiling-js.nix treewide: Per RFC45, remove all unquoted URLs 4 years ago
js.nix treewide: Per RFC45, remove all unquoted URLs 4 years ago
lens.nix treewide: Per RFC45, remove all unquoted URLs 4 years ago
lightyear.nix treewide: Per RFC45, remove all unquoted URLs 4 years ago
logic.nix treewide: Per RFC45, remove all unquoted URLs 4 years ago
mapping.nix treewide: Per RFC45, remove all unquoted URLs 4 years ago
mhd.nix treewide: Per RFC45, remove all unquoted URLs 4 years ago
pacman.nix treewide: Per RFC45, remove all unquoted URLs 4 years ago
patricia.nix treewide: Per RFC45, remove all unquoted URLs 4 years ago
permutations.nix treewide: Per RFC45, remove all unquoted URLs 4 years ago
pfds.nix treewide: Per RFC45, remove all unquoted URLs 4 years ago
pipes.nix treewide: Per RFC45, remove all unquoted URLs 4 years ago
posix.nix treewide: Per RFC45, remove all unquoted URLs 4 years ago
protobuf.nix treewide: Per RFC45, remove all unquoted URLs 4 years ago
quantities.nix treewide: Per RFC45, remove all unquoted URLs 4 years ago
rationals.nix treewide: Per RFC45, remove all unquoted URLs 4 years ago
recursion_schemes.nix treewide: Per RFC45, remove all unquoted URLs 4 years ago
refined.nix treewide: Per RFC45, remove all unquoted URLs 4 years ago
sdl.nix treewide: Per RFC45, remove all unquoted URLs 4 years ago
sdl2.nix treewide: replace SRI hashes 4 years ago
semidirect.nix treewide: Per RFC45, remove all unquoted URLs 4 years ago
setoids.nix treewide: Per RFC45, remove all unquoted URLs 4 years ago
smproc.nix treewide: Per RFC45, remove all unquoted URLs 4 years ago
snippets.nix treewide: Per RFC45, remove all unquoted URLs 4 years ago
software_foundations.nix treewide: Per RFC45, remove all unquoted URLs 4 years ago
specdris.nix treewide: Per RFC45, remove all unquoted URLs 4 years ago
tap.nix treewide: Per RFC45, remove all unquoted URLs 4 years ago
test.nix treewide: Per RFC45, remove all unquoted URLs 4 years ago
tfrandom.nix idrisPackages: add tf-random package 4 years ago
tlhydra.nix treewide: Per RFC45, remove all unquoted URLs 4 years ago
tomladris.nix treewide: Per RFC45, remove all unquoted URLs 4 years ago
tp.nix treewide: Per RFC45, remove all unquoted URLs 4 years ago
tparsec.nix treewide: Per RFC45, remove all unquoted URLs 4 years ago
transducers.nix treewide: Per RFC45, remove all unquoted URLs 4 years ago
trees.nix treewide: Per RFC45, remove all unquoted URLs 4 years ago
union_type.nix treewide: Per RFC45, remove all unquoted URLs 4 years ago
vdom.nix treewide: Per RFC45, remove all unquoted URLs 4 years ago
vecspace.nix treewide: Per RFC45, remove all unquoted URLs 4 years ago
webgl.nix treewide: Per RFC45, remove all unquoted URLs 4 years ago
with-packages.nix
…
wl-pprint.nix treewide: Per RFC45, remove all unquoted URLs 4 years ago
wyvern.nix treewide: Per RFC45, remove all unquoted URLs 4 years ago
xhr.nix treewide: Per RFC45, remove all unquoted URLs 4 years ago
yaml.nix treewide: Per RFC45, remove all unquoted URLs 4 years ago
yampa.nix treewide: Per RFC45, remove all unquoted URLs 4 years ago

README.md

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