kookienomicon - My personal project and infrastructure archive

	Commit message (Expand)	Author	Age	Files	Lines
*	agda: install literate files	Alex Rice	2020-06-01	1	-1/+12
*	agda: rework builder	Alex Rice	2020-05-14	1	-82/+63
*	treewide: fix *Flags	Robin Gloster	2019-12-30	1	-2/+2
*	Remove myself (fuuzetsu) from maintainer lists	Mateusz Kowalczyk	2019-12-05	1	-2/+0
*	agda: use exec in agdaWrapper	Dmitry Kalinkin	2018-12-07	1	-1/+1
*	agda: use writeShellScriptbin instead of writeScriptBin	Moritz Kiefer	2018-11-08	1	-2/+2
*	agda: Remove unused/uneeded abstractions, including `postprocess`	John Ericson	2015-05-31	1	-18/+11
*	agda: Just `with` all of the string helper functions	John Ericson	2015-05-31	1	-3/+3
*	agda: `postprocess` and `defaults` need not be in the scope of args	John Ericson	2015-05-30	1	-81/+80
*	agda: Provide a `.env` like Haskell instead of `.extras`	John Ericson	2015-05-30	1	-19/+13
*	agda: Wrapper is no longer built by default	John Ericson	2015-05-20	1	-16/+23
*	agda: Agda dependencies are treated seperately	John Ericson	2015-05-20	1	-6/+14
*	agda: Remove `extraBuildFlags`	John Ericson	2015-05-18	1	-6/+5
*	agda: Remove buildTools, it is unused	John Ericson	2015-05-18	1	-3/+1
*	agda: Replace `eval` with `runHook`	John Ericson	2015-05-17	1	-6/+6
*	agda: Remove unnecessary env-var export	John Ericson	2015-05-17	1	-1/+0
*	agda: migrate to haskell-ng, update and cleanup	Nikolay Amiantov	2015-04-06	1	-1/+1
*	Add a builder for Agda packages.	Mateusz Kowalczyk	2014-09-01	1	-0/+95