7 commits

Author	SHA1	Message	Date
Manuel Bärenz	2e5ce8930c	agdaPackages.agdarsec: Init at 0.4.1	2021-08-30 09:20:45 +02:00
Alexander Ben Nasrallah	226299e1a2	agdaPackages.mkDerivation: don't install Everything module ... The Everthing module is not part of a library and should therefore not be copied to the nix store. This is particularly bad, if the Everything module is defined in an agda library included directory, e.g. consider an agda-lib with include: . and Everything.agda in the project root (.), in which case the Everything module would become part of the library. If multiple such projects are in the dependency tree, the Everything module becomes ambiguous and the build would fail.	2021-01-24 17:30:01 +01:00
Ryan Orendorff	c78dc9cf5b	agda-packages: add fla library at v0.1 ... Adds the functional-linear-algebra library to the agda package set.	2020-10-15 10:54:22 -06:00
Alex Rice	c63ece0998	agdaPackages.generic: init at v0.1	2020-08-10 14:56:23 +01:00
Ryan Orendorff	f7ad47a8f6	agdaPackages.cubical: init at 0.2 (#76994) ... Co-authored-by: Alex Rice <alexrice999@hotmail.co.uk>	2020-05-19 13:20:35 -04:00
Alex Rice	6c1cdedb6d	agda-categories: init at 0.1	2020-05-14 20:54:12 +01:00
Alex Rice	d30e2468e0	agda: rework builder	2020-05-14 20:54:11 +01:00