2
0
mirror of https://github.com/NixOS/nixpkgs.git synced 2024-12-29 09:04:17 +00:00
Commit Graph

4 Commits

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