Ce site fonctionne mieux avec JavaScript.
Accueil
Explorateur
Aide
Connexion
mirrors
/
gitignore
miroir de
https://github.com/github/gitignore.git
Suivre
1
Ajouter aux favoris
0
Bifurcation
0
Code
Tickets
0
Versions
0
Wiki
Activité
Vous ne pouvez pas sélectionner plus de 25 sujets
Les noms de sujets doivent commencer par une lettre ou un nombre, peuvent contenir des tirets ('-') et peuvent comporter jusqu'à 35 caractères.
3332
Révisions
8
Branches
Aborescence:
e111f1c746
main
rmw-universe
rmw-universe-2022
add-metadata
annotating-visualstudio
ghfw
old-ghfw
reduce-noise
Branches
Tags
${ item.name }
Créer la branche
${ searchTerm }
de 'e111f1c746'
${ noResults }
gitignore
/
Agda.gitignore
Agda.gitignore
19B
Brut
Vue normale
Historique
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
il y a 10 ans
Add MAlonzo directory. (#2978)
il y a 5 ans
1
2
*.agdai
MAlonzo/**