idris-modules « development « pkgs « nixpkgs - libkookie - 🍍 Things that make my computers more sad than other people's computers

Mode	Name	Size
-rw-r--r--	README.md	98	log plain
-rw-r--r--	TODO.md	100	log plain
-rw-r--r--	array.nix	556	log plain
-rw-r--r--	bi.nix	636	log plain
-rw-r--r--	bifunctors.nix	525	log plain
-rw-r--r--	build-builtin-package.nix	505	log plain
-rw-r--r--	build-idris-package.nix	2210	log plain
-rw-r--r--	bytes.nix	495	log plain
-rw-r--r--	canvas.nix	542	log plain
-rw-r--r--	categories.nix	495	log plain
-rw-r--r--	coda.nix	589	log plain
-rw-r--r--	comonad.nix	512	log plain
-rw-r--r--	composition.nix	574	log plain
-rw-r--r--	config.nix	664	log plain
-rw-r--r--	console.nix	650	log plain
-rw-r--r--	containers.nix	613	log plain
-rw-r--r--	cube.nix	535	log plain
-rw-r--r--	data.nix	572	log plain
-rw-r--r--	default.nix	5073	log plain
-rw-r--r--	derive.nix	641	log plain
-rw-r--r--	descncrunch.nix	630	log plain
-rw-r--r--	dict.nix	616	log plain
-rw-r--r--	dom.nix	615	log plain
-rw-r--r--	electron.nix	641	log plain
-rw-r--r--	eternal.nix	978	log plain
-rw-r--r--	farrp.nix	596	log plain
-rw-r--r--	free.nix	591	log plain
-rw-r--r--	fsm.nix	540	log plain
-rw-r--r--	glfw.nix	739	log plain
-rw-r--r--	graphviz.nix	696	log plain
-rw-r--r--	hamt.nix	579	log plain
-rw-r--r--	hezarfen.nix	585	log plain
-rw-r--r--	hrtime.nix	625	log plain
-rw-r--r--	html.nix	696	log plain
-rw-r--r--	http.nix	590	log plain
-rw-r--r--	http4idris.nix	576	log plain
-rw-r--r--	iaia.nix	556	log plain
-rw-r--r--	idris-wrapper.nix	503	log plain
-rw-r--r--	idrishighlighter.nix	688	log plain
-rw-r--r--	idrisscript.nix	578	log plain
-rw-r--r--	ipkgparser.nix	628	log plain
-rw-r--r--	jheiling-extras.nix	579	log plain
-rw-r--r--	jheiling-js.nix	618	log plain
-rw-r--r--	js.nix	572	log plain
-rw-r--r--	lens.nix	579	log plain
-rw-r--r--	lightyear.nix	581	log plain
-rw-r--r--	logic.nix	641	log plain
-rw-r--r--	mapping.nix	520	log plain
-rw-r--r--	mhd.nix	722	log plain
-rw-r--r--	pacman.nix	619	log plain
-rw-r--r--	patricia.nix	643	log plain
-rw-r--r--	permutations.nix	560	log plain
-rw-r--r--	pfds.nix	572	log plain
-rw-r--r--	pipes.nix	594	log plain
-rw-r--r--	posix.nix	563	log plain
-rw-r--r--	protobuf.nix	607	log plain
-rw-r--r--	quantities.nix	561	log plain
-rw-r--r--	rationals.nix	609	log plain
-rw-r--r--	recursion_schemes.nix	671	log plain
-rw-r--r--	refined.nix	596	log plain
-rw-r--r--	sdl.nix	631	log plain
-rw-r--r--	sdl2.nix	645	log plain
-rw-r--r--	semidirect.nix	568	log plain
-rw-r--r--	setoids.nix	548	log plain
-rw-r--r--	smproc.nix	598	log plain
-rw-r--r--	snippets.nix	607	log plain
-rw-r--r--	software_foundations.nix	590	log plain
-rw-r--r--	specdris.nix	588	log plain
-rw-r--r--	tap.nix	603	log plain
-rw-r--r--	test.nix	591	log plain
-rw-r--r--	tfrandom.nix	570	log plain
-rw-r--r--	tlhydra.nix	597	log plain
-rw-r--r--	tomladris.nix	605	log plain
-rw-r--r--	tp.nix	569	log plain
-rw-r--r--	tparsec.nix	614	log plain
-rw-r--r--	transducers.nix	557	log plain
-rw-r--r--	trees.nix	527	log plain
-rw-r--r--	union_type.nix	516	log plain
-rw-r--r--	vdom.nix	552	log plain
-rw-r--r--	vecspace.nix	545	log plain
-rw-r--r--	webgl.nix	597	log plain
-rw-r--r--	with-packages.nix	455	log plain
-rw-r--r--	wl-pprint.nix	495	log plain
-rw-r--r--	wyvern.nix	682	log plain
-rw-r--r--	xhr.nix	589	log plain
-rw-r--r--	yaml.nix	591	log plain
-rw-r--r--	yampa.nix	641	log plain