idris-modules « development « pkgs - nixpkgs

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