Tsunami43
|
31230eee06
|
Merge 776eef4589 into c677dd99d4
|
2026-04-08 15:43:39 +00:00 |
|
Vic
|
8431b56bed
|
include MAlonzo directories in any location
|
2026-03-18 14:07:30 +01:00 |
|
Tsunami43
|
70d328cddf
|
Update env and optional variables
|
2025-11-13 13:13:52 +03: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 |
|