Пожалуйста, включите JavaScript.
Главная
Обзор
Помощь
Вход
mirrors
/
gitignore
зеркало из
https://github.com/github/gitignore.git
Следить
1
В избранное
0
Форкнуть
0
Код
Задачи
0
Релизы
0
Вики
Активность
Вы не можете выбрать более 25 тем
Темы должны начинаться с буквы или цифры, могут содержать дефисы(-) и должны содержать не более 35 символов.
3236
коммитов
8
Ветки
Дерево:
2f75277037
add-metadata
annotating-visualstudio
ghfw
main
old-ghfw
reduce-noise
rmw-universe
rmw-universe-2022
Ветки
Теги
${ item.name }
Создать ветку
${ searchTerm }
из '2f75277037'
${ noResults }
gitignore
/
Agda.gitignore
Agda.gitignore
19B
Исходник
Normal View
История
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 лет назад
Add MAlonzo directory. (#2978)
5 лет назад
1
2
*.agdai
MAlonzo/**