gitignore

3179 Commitit

8 Branchit

Puu: e5b26f5c9b

Commit Graph

Tekijä	SHA1	Viesti	Päivämäärä
Michael Coblenz	d7452bf58f	Add MAlonzo directory. (#2978)	5 vuotta sitten
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	11 vuotta sitten

Tekijä

SHA1

Viesti

Päivämäärä

Michael Coblenz

d7452bf58f

Add MAlonzo directory. (#2978)

5 vuotta sitten

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

11 vuotta sitten

2 Commitit (e5b26f5c9ba9d7d1b97f6e067a47be78d3f2c79d)