idris-modules « development « pkgs - nixpkgs

Mode	Name	Size
-rw-r--r--	README.md	98	log stats plain
-rw-r--r--	TODO.md	101	log stats plain
-rw-r--r--	array.nix	557	log stats plain
-rw-r--r--	bi.nix	637	log stats plain
-rw-r--r--	bifunctors.nix	526	log stats plain
-rw-r--r--	build-builtin-package.nix	511	log stats plain
-rw-r--r--	build-idris-package.nix	2246	log stats plain
-rw-r--r--	bytes.nix	496	log stats plain
-rw-r--r--	canvas.nix	543	log stats plain
-rw-r--r--	categories.nix	496	log stats plain
-rw-r--r--	coda.nix	590	log stats plain
-rw-r--r--	comonad.nix	513	log stats plain
-rw-r--r--	composition.nix	575	log stats plain
-rw-r--r--	config.nix	665	log stats plain
-rw-r--r--	console.nix	651	log stats plain
-rw-r--r--	containers.nix	614	log stats plain
-rw-r--r--	cube.nix	540	log stats plain
-rw-r--r--	default.nix	5176	log stats plain
-rw-r--r--	derive.nix	642	log stats plain
-rw-r--r--	descncrunch.nix	631	log stats plain
-rw-r--r--	dict.nix	617	log stats plain
-rw-r--r--	dom.nix	616	log stats plain
-rw-r--r--	electron.nix	642	log stats plain
-rw-r--r--	eternal.nix	979	log stats plain
-rw-r--r--	farrp.nix	597	log stats plain
-rw-r--r--	free.nix	592	log stats plain
-rw-r--r--	fsm.nix	541	log stats plain
-rw-r--r--	glfw.nix	741	log stats plain
-rw-r--r--	graphviz.nix	697	log stats plain
-rw-r--r--	hamt.nix	580	log stats plain
-rw-r--r--	hezarfen.nix	586	log stats plain
-rw-r--r--	hrtime.nix	626	log stats plain
-rw-r--r--	html.nix	697	log stats plain
-rw-r--r--	http.nix	591	log stats plain
-rw-r--r--	http4idris.nix	577	log stats plain
-rw-r--r--	iaia.nix	557	log stats plain
-rw-r--r--	idris-wrapper.nix	512	log stats plain
-rw-r--r--	idrishighlighter.nix	689	log stats plain
-rw-r--r--	idrisscript.nix	579	log stats plain
-rw-r--r--	ipkgparser.nix	629	log stats plain
-rw-r--r--	jheiling-extras.nix	580	log stats plain
-rw-r--r--	jheiling-js.nix	619	log stats plain
-rw-r--r--	js.nix	573	log stats plain
-rw-r--r--	lens.nix	580	log stats plain
-rw-r--r--	lightyear.nix	582	log stats plain
-rw-r--r--	logic.nix	642	log stats plain
-rw-r--r--	mapping.nix	525	log stats plain
-rw-r--r--	mhd.nix	723	log stats plain
-rw-r--r--	pacman.nix	620	log stats plain
-rw-r--r--	patricia.nix	644	log stats plain
-rw-r--r--	permutations.nix	561	log stats plain
-rw-r--r--	pfds.nix	573	log stats plain
-rw-r--r--	pipes.nix	595	log stats plain
-rw-r--r--	posix.nix	564	log stats plain
-rw-r--r--	quantities.nix	562	log stats plain
-rw-r--r--	rationals.nix	610	log stats plain
-rw-r--r--	recursion_schemes.nix	672	log stats plain
-rw-r--r--	refined.nix	597	log stats plain
-rw-r--r--	sdl.nix	632	log stats plain
-rw-r--r--	sdl2.nix	678	log stats plain
-rw-r--r--	semidirect.nix	569	log stats plain
-rw-r--r--	setoids.nix	549	log stats plain
-rw-r--r--	smproc.nix	599	log stats plain
-rw-r--r--	snippets.nix	608	log stats plain
-rw-r--r--	software_foundations.nix	591	log stats plain
-rw-r--r--	specdris.nix	589	log stats plain
-rw-r--r--	tap.nix	604	log stats plain
-rw-r--r--	test.nix	592	log stats plain
-rw-r--r--	tfrandom.nix	563	log stats plain
-rw-r--r--	tlhydra.nix	598	log stats plain
-rw-r--r--	tomladris.nix	606	log stats plain
-rw-r--r--	tp.nix	570	log stats plain
-rw-r--r--	tparsec.nix	613	log stats plain
-rw-r--r--	transducers.nix	558	log stats plain
-rw-r--r--	trees.nix	528	log stats plain
-rw-r--r--	union_type.nix	517	log stats plain
-rw-r--r--	vdom.nix	553	log stats plain
-rw-r--r--	vecspace.nix	546	log stats plain
-rw-r--r--	webgl.nix	598	log stats plain
-rw-r--r--	with-packages.nix	444	log stats plain
-rw-r--r--	wl-pprint.nix	496	log stats plain
-rw-r--r--	wyvern.nix	683	log stats plain
-rw-r--r--	xhr.nix	590	log stats plain
-rw-r--r--	yaml.nix	592	log stats plain
-rw-r--r--	yampa.nix	642	log stats plain