Public Git Hosting - NixPkgs.git/tree - pkgs/development/idris-modules/

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