idris-modules « development « pkgs - nixos/nixpkgs - Unnamed repository; edit this file 'description' to name the repository.

Mode	Name	Size
-rw-r--r--	README.md	98	log plain about
-rw-r--r--	TODO.md	100	log plain about
-rw-r--r--	array.nix	554	log plain about
-rw-r--r--	bi.nix	634	log plain about
-rw-r--r--	bifunctors.nix	523	log plain about
-rw-r--r--	build-builtin-package.nix	505	log plain about
-rw-r--r--	build-idris-package.nix	2210	log plain about
-rw-r--r--	bytes.nix	493	log plain about
-rw-r--r--	canvas.nix	540	log plain about
-rw-r--r--	categories.nix	493	log plain about
-rw-r--r--	coda.nix	587	log plain about
-rw-r--r--	comonad.nix	510	log plain about
-rw-r--r--	composition.nix	572	log plain about
-rw-r--r--	config.nix	662	log plain about
-rw-r--r--	console.nix	648	log plain about
-rw-r--r--	containers.nix	611	log plain about
-rw-r--r--	cube.nix	533	log plain about
-rw-r--r--	data.nix	570	log plain about
-rw-r--r--	default.nix	5025	log plain about
-rw-r--r--	derive.nix	639	log plain about
-rw-r--r--	descncrunch.nix	628	log plain about
-rw-r--r--	dict.nix	614	log plain about
-rw-r--r--	dom.nix	613	log plain about
-rw-r--r--	electron.nix	639	log plain about
-rw-r--r--	eternal.nix	976	log plain about
-rw-r--r--	farrp.nix	594	log plain about
-rw-r--r--	free.nix	589	log plain about
-rw-r--r--	fsm.nix	538	log plain about
-rw-r--r--	glfw.nix	737	log plain about
-rw-r--r--	graphviz.nix	694	log plain about
-rw-r--r--	hamt.nix	577	log plain about
-rw-r--r--	hezarfen.nix	583	log plain about
-rw-r--r--	hrtime.nix	623	log plain about
-rw-r--r--	html.nix	694	log plain about
-rw-r--r--	http.nix	588	log plain about
-rw-r--r--	http4idris.nix	574	log plain about
-rw-r--r--	iaia.nix	554	log plain about
-rw-r--r--	idris-wrapper.nix	503	log plain about
-rw-r--r--	idrishighlighter.nix	686	log plain about
-rw-r--r--	idrisscript.nix	576	log plain about
-rw-r--r--	ipkgparser.nix	626	log plain about
-rw-r--r--	jheiling-extras.nix	577	log plain about
-rw-r--r--	jheiling-js.nix	616	log plain about
-rw-r--r--	js.nix	570	log plain about
-rw-r--r--	lens.nix	577	log plain about
-rw-r--r--	lightyear.nix	579	log plain about
-rw-r--r--	logic.nix	639	log plain about
-rw-r--r--	mapping.nix	518	log plain about
-rw-r--r--	mhd.nix	720	log plain about
-rw-r--r--	pacman.nix	617	log plain about
-rw-r--r--	patricia.nix	641	log plain about
-rw-r--r--	permutations.nix	558	log plain about
-rw-r--r--	pfds.nix	570	log plain about
-rw-r--r--	pipes.nix	592	log plain about
-rw-r--r--	posix.nix	561	log plain about
-rw-r--r--	protobuf.nix	605	log plain about
-rw-r--r--	quantities.nix	559	log plain about
-rw-r--r--	rationals.nix	607	log plain about
-rw-r--r--	recursion_schemes.nix	669	log plain about
-rw-r--r--	refined.nix	594	log plain about
-rw-r--r--	sdl.nix	629	log plain about
-rw-r--r--	sdl2.nix	648	log plain about
-rw-r--r--	semidirect.nix	566	log plain about
-rw-r--r--	setoids.nix	546	log plain about
-rw-r--r--	smproc.nix	596	log plain about
-rw-r--r--	snippets.nix	605	log plain about
-rw-r--r--	software_foundations.nix	588	log plain about
-rw-r--r--	specdris.nix	586	log plain about
-rw-r--r--	tap.nix	601	log plain about
-rw-r--r--	test.nix	589	log plain about
-rw-r--r--	tlhydra.nix	595	log plain about
-rw-r--r--	tomladris.nix	603	log plain about
-rw-r--r--	tp.nix	567	log plain about
-rw-r--r--	tparsec.nix	572	log plain about
-rw-r--r--	transducers.nix	555	log plain about
-rw-r--r--	trees.nix	525	log plain about
-rw-r--r--	union_type.nix	514	log plain about
-rw-r--r--	vdom.nix	550	log plain about
-rw-r--r--	vecspace.nix	543	log plain about
-rw-r--r--	webgl.nix	595	log plain about
-rw-r--r--	with-packages.nix	455	log plain about
-rw-r--r--	wl-pprint.nix	493	log plain about
-rw-r--r--	wyvern.nix	680	log plain about
-rw-r--r--	xhr.nix	587	log plain about
-rw-r--r--	yaml.nix	589	log plain about
-rw-r--r--	yampa.nix	639	log plain about