idris-modules « development « pkgs - nixos/nixpkgs.git

Mode	Name	Size
-rw-r--r--	README.md	98	log plain
-rw-r--r--	TODO.md	101	log plain
-rw-r--r--	array.nix	562	log plain
-rw-r--r--	bi.nix	653	log plain
-rw-r--r--	bifunctors.nix	528	log plain
-rw-r--r--	build-builtin-package.nix	469	log plain
-rw-r--r--	build-idris-package.nix	2393	log plain
-rw-r--r--	bytes.nix	500	log plain
-rw-r--r--	canvas.nix	547	log plain
-rw-r--r--	categories.nix	500	log plain
-rw-r--r--	coda.nix	594	log plain
-rw-r--r--	comonad.nix	517	log plain
-rw-r--r--	composition.nix	580	log plain
-rw-r--r--	config.nix	690	log plain
-rw-r--r--	console.nix	669	log plain
-rw-r--r--	containers.nix	629	log plain
-rw-r--r--	cube.nix	541	log plain
-rw-r--r--	default.nix	5690	log plain
-rw-r--r--	derive.nix	658	log plain
-rw-r--r--	dict.nix	622	log plain
-rw-r--r--	dom.nix	637	log plain
-rw-r--r--	electron.nix	663	log plain
-rw-r--r--	eternal.nix	984	log plain
-rw-r--r--	farrp.nix	602	log plain
-rw-r--r--	free.nix	596	log plain
-rw-r--r--	fsm.nix	545	log plain
-rw-r--r--	glfw.nix	747	log plain
-rw-r--r--	graphviz.nix	702	log plain
-rw-r--r--	hamt.nix	596	log plain
-rw-r--r--	hezarfen.nix	588	log plain
-rw-r--r--	hrtime.nix	631	log plain
-rw-r--r--	html.nix	718	log plain
-rw-r--r--	http.nix	609	log plain
-rw-r--r--	http4idris.nix	579	log plain
-rw-r--r--	iaia.nix	562	log plain
-rw-r--r--	idris-wrapper.nix	555	log plain
-rw-r--r--	idrishighlighter.nix	705	log plain
-rw-r--r--	idrisscript.nix	583	log plain
-rw-r--r--	ipkgparser.nix	650	log plain
-rw-r--r--	jheiling-extras.nix	585	log plain
-rw-r--r--	jheiling-js.nix	635	log plain
-rw-r--r--	js.nix	589	log plain
-rw-r--r--	lens.nix	585	log plain
-rw-r--r--	lightyear.nix	603	log plain
-rw-r--r--	logic.nix	647	log plain
-rw-r--r--	mapping.nix	529	log plain
-rw-r--r--	mhd.nix	738	log plain
-rw-r--r--	pacman.nix	636	log plain
-rw-r--r--	patricia.nix	648	log plain
-rw-r--r--	permutations.nix	565	log plain
-rw-r--r--	pfds.nix	578	log plain
-rw-r--r--	pipes.nix	599	log plain
-rw-r--r--	posix.nix	567	log plain
-rw-r--r--	quantities.nix	566	log plain
-rw-r--r--	rationals.nix	613	log plain
-rw-r--r--	recursion_schemes.nix	703	log plain
-rw-r--r--	refined.nix	601	log plain
-rw-r--r--	sdl2.nix	687	log plain
-rw-r--r--	semidirect.nix	585	log plain
-rw-r--r--	setoids.nix	554	log plain
-rw-r--r--	smproc.nix	604	log plain
-rw-r--r--	snippets.nix	613	log plain
-rw-r--r--	software_foundations.nix	596	log plain
-rw-r--r--	specdris.nix	593	log plain
-rw-r--r--	tap.nix	607	log plain
-rw-r--r--	test.nix	597	log plain
-rw-r--r--	tfrandom.nix	567	log plain
-rw-r--r--	tlhydra.nix	619	log plain
-rw-r--r--	tomladris.nix	638	log plain
-rw-r--r--	tp.nix	574	log plain
-rw-r--r--	tparsec.nix	618	log plain
-rw-r--r--	transducers.nix	562	log plain
-rw-r--r--	trees.nix	544	log plain
-rw-r--r--	union_type.nix	521	log plain
-rw-r--r--	vdom.nix	557	log plain
-rw-r--r--	vecspace.nix	551	log plain
-rw-r--r--	webgl.nix	603	log plain
-rw-r--r--	with-packages.nix	465	log plain
-rw-r--r--	wl-pprint.nix	501	log plain
-rw-r--r--	wyvern.nix	699	log plain
-rw-r--r--	xhr.nix	595	log plain
-rw-r--r--	yaml.nix	608	log plain
-rw-r--r--	yampa.nix	647	log plain