Commit graph

6 commits

Author SHA1 Message Date
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