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--	557	array.nix	blob \| blame \| history \| raw
-rw-r--r--	637	bi.nix	blob \| blame \| history \| raw
-rw-r--r--	524	bifunctors.nix	blob \| blame \| history \| raw
-rw-r--r--	511	build-builtin-package.nix	blob \| blame \| history \| raw
-rw-r--r--	2246	build-idris-package.nix	blob \| blame \| history \| raw
-rw-r--r--	496	bytes.nix	blob \| blame \| history \| raw
-rw-r--r--	543	canvas.nix	blob \| blame \| history \| raw
-rw-r--r--	496	categories.nix	blob \| blame \| history \| raw
-rw-r--r--	590	coda.nix	blob \| blame \| history \| raw
-rw-r--r--	513	comonad.nix	blob \| blame \| history \| raw
-rw-r--r--	575	composition.nix	blob \| blame \| history \| raw
-rw-r--r--	664	config.nix	blob \| blame \| history \| raw
-rw-r--r--	648	console.nix	blob \| blame \| history \| raw
-rw-r--r--	613	containers.nix	blob \| blame \| history \| raw
-rw-r--r--	537	cube.nix	blob \| blame \| history \| raw
-rw-r--r--	5249	default.nix	blob \| blame \| history \| raw
-rw-r--r--	642	derive.nix	blob \| blame \| history \| raw
-rw-r--r--	631	descncrunch.nix	blob \| blame \| history \| raw
-rw-r--r--	617	dict.nix	blob \| blame \| history \| raw
-rw-r--r--	616	dom.nix	blob \| blame \| history \| raw
-rw-r--r--	642	electron.nix	blob \| blame \| history \| raw
-rw-r--r--	979	eternal.nix	blob \| blame \| history \| raw
-rw-r--r--	597	farrp.nix	blob \| blame \| history \| raw
-rw-r--r--	592	free.nix	blob \| blame \| history \| raw
-rw-r--r--	541	fsm.nix	blob \| blame \| history \| raw
-rw-r--r--	741	glfw.nix	blob \| blame \| history \| raw
-rw-r--r--	697	graphviz.nix	blob \| blame \| history \| raw
-rw-r--r--	580	hamt.nix	blob \| blame \| history \| raw
-rw-r--r--	584	hezarfen.nix	blob \| blame \| history \| raw
-rw-r--r--	626	hrtime.nix	blob \| blame \| history \| raw
-rw-r--r--	697	html.nix	blob \| blame \| history \| raw
-rw-r--r--	588	http.nix	blob \| blame \| history \| raw
-rw-r--r--	574	http4idris.nix	blob \| blame \| history \| raw
-rw-r--r--	557	iaia.nix	blob \| blame \| history \| raw
-rw-r--r--	512	idris-wrapper.nix	blob \| blame \| history \| raw
-rw-r--r--	689	idrishighlighter.nix	blob \| blame \| history \| raw
-rw-r--r--	579	idrisscript.nix	blob \| blame \| history \| raw
-rw-r--r--	629	ipkgparser.nix	blob \| blame \| history \| raw
-rw-r--r--	580	jheiling-extras.nix	blob \| blame \| history \| raw
-rw-r--r--	619	jheiling-js.nix	blob \| blame \| history \| raw
-rw-r--r--	573	js.nix	blob \| blame \| history \| raw
-rw-r--r--	580	lens.nix	blob \| blame \| history \| raw
-rw-r--r--	582	lightyear.nix	blob \| blame \| history \| raw
-rw-r--r--	642	logic.nix	blob \| blame \| history \| raw
-rw-r--r--	525	mapping.nix	blob \| blame \| history \| raw
-rw-r--r--	721	mhd.nix	blob \| blame \| history \| raw
-rw-r--r--	620	pacman.nix	blob \| blame \| history \| raw
-rw-r--r--	643	patricia.nix	blob \| blame \| history \| raw
-rw-r--r--	561	permutations.nix	blob \| blame \| history \| raw
-rw-r--r--	573	pfds.nix	blob \| blame \| history \| raw
-rw-r--r--	595	pipes.nix	blob \| blame \| history \| raw
-rw-r--r--	563	posix.nix	blob \| blame \| history \| raw
-rw-r--r--	562	quantities.nix	blob \| blame \| history \| raw
-rw-r--r--	607	rationals.nix	blob \| blame \| history \| raw
-rw-r--r--	672	recursion_schemes.nix	blob \| blame \| history \| raw
-rw-r--r--	597	refined.nix	blob \| blame \| history \| raw
-rw-r--r--	678	sdl2.nix	blob \| blame \| history \| raw
-rw-r--r--	569	semidirect.nix	blob \| blame \| history \| raw
-rw-r--r--	549	setoids.nix	blob \| blame \| history \| raw
-rw-r--r--	599	smproc.nix	blob \| blame \| history \| raw
-rw-r--r--	608	snippets.nix	blob \| blame \| history \| raw
-rw-r--r--	591	software_foundations.nix	blob \| blame \| history \| raw
-rw-r--r--	587	specdris.nix	blob \| blame \| history \| raw
-rw-r--r--	602	tap.nix	blob \| blame \| history \| raw
-rw-r--r--	592	test.nix	blob \| blame \| history \| raw
-rw-r--r--	563	tfrandom.nix	blob \| blame \| history \| raw
-rw-r--r--	598	tlhydra.nix	blob \| blame \| history \| raw
-rw-r--r--	606	tomladris.nix	blob \| blame \| history \| raw
-rw-r--r--	570	tp.nix	blob \| blame \| history \| raw
-rw-r--r--	613	tparsec.nix	blob \| blame \| history \| raw
-rw-r--r--	558	transducers.nix	blob \| blame \| history \| raw
-rw-r--r--	528	trees.nix	blob \| blame \| history \| raw
-rw-r--r--	517	union_type.nix	blob \| blame \| history \| raw
-rw-r--r--	553	vdom.nix	blob \| blame \| history \| raw
-rw-r--r--	546	vecspace.nix	blob \| blame \| history \| raw
-rw-r--r--	598	webgl.nix	blob \| blame \| history \| raw
-rw-r--r--	444	with-packages.nix	blob \| blame \| history \| raw
-rw-r--r--	496	wl-pprint.nix	blob \| blame \| history \| raw
-rw-r--r--	683	wyvern.nix	blob \| blame \| history \| raw
-rw-r--r--	590	xhr.nix	blob \| blame \| history \| raw
-rw-r--r--	592	yaml.nix	blob \| blame \| history \| raw
-rw-r--r--	642	yampa.nix	blob \| blame \| history \| raw