3 Commits

Include renames

Author	SHA1	Message	Date
Vic	8431b56bed	include MAlonzo directories in any location	2026-03-18 14:07:30 +01:00
Michael Coblenz	d7452bf58f	Add MAlonzo directory. (#2978)	2019-03-08 08:47:43 -04:00
Paolo G. Giarrusso	c56761e833	Create Agda.gitignore ... Ignore .agdai files, they're binary files generated by typechecking .agda files. Agda is an interactive proof assistant, home page here: http://wiki.portal.chalmers.se/agda/pmwiki.php `.agdai` files seem to be only documented here (and indirectly by googling): http://wiki.portal.chalmers.se/agda/pmwiki.php?n=Main.PerformanceTips A prominent repository using Agda on github: https://github.com/HoTT/HoTT-Agda/ Their gitignore files: https://github.com/HoTT/HoTT-Agda/blob/master/.gitignore	2013-08-15 03:18:55 +02:00