2 commits

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