8 commits

Author	SHA1	Message	Date
rhiannon morris	e1a9d99514	idris 0.6.0 [with temporary flake fork]	2022-11-06 12:43:52 +01:00
rhiannon morris	8c05957f60	flake stuff ... putting the inputs inside out like they were will prevent updates to deps unless i update tap first. i think? which probably doesn't matter, but it might	2022-10-06 21:16:54 +02:00
rhiannon morris	956c677614	nix flake update	2022-08-18 00:23:17 +02:00
rhiannon morris	220a87f8a6	messing with nix again	2022-06-19 14:22:58 +02:00
rhiannon morris	cd651558a2	idris doesn't support ARM i don't think	2022-05-27 17:23:22 +02:00
rhiannon morris	9920bea6e3	nix stuff	2022-05-27 13:31:52 +02:00
rhiannon morris	b4ac58f866	move TAP to its own package ... https://git.rhiannon.website/rhi/idris2-tap	2022-05-26 16:25:56 +02:00
rhiannon morris	7f415328a2	wip nix	2022-05-04 17:09:49 +02:00