Nick Hu 97538a9a55 Merge pull request #95059 from alexarice/agda-generic ... agdaPackages.generic: init at v0.1		2020-08-12 21:49:11 +01:00
..
agda-categories
agda-prelude
cubical
generic
iowa-stdlib
standard-library