3 Commits

Author	SHA1	Message	Date
Alex Rice	e215c3bcac	agda: install literate files	2020-06-01 13:59:20 +01:00
Uma Zalakain	196cc47005	agda: fix typo in library management documentation ... Agda expects a "depend" (not "depends") field in the library description.	2020-05-24 14:20:05 +02:00
Alex Rice	d30e2468e0	agda: rework builder	2020-05-14 20:54:11 +01:00