.gitignore untuk Agda
2 aturan pengabaian untuk Agda, siap disalin ke repositori Anda.
Bahasa fungsional yang diketik secara dependen
.gitignore lengkap untuk Agda
# Dibuat oleh LFGitignore - https://lfgitignore.com
# Dibuat: 2026-10-31 22:59:50 UTC
# Teknologi: Agda
### Agda ###
*.agdai
**/MAlonzo/**
Apa yang sebenarnya diabaikan oleh aturan Agda ini
Setiap pola berikut beserta alasan untuk memasukkannya ke .gitignore.
Umum
| Pola | Yang diabaikan |
|---|---|
*.agdai |
Umum |
**/MAlonzo/** |
Umum |
Cara menggunakan .gitignore ini untuk Agda
- Salin aturan Agda di atas atau unduh langsung berkasnya.
- Buat berkas bernama .gitignore di direktori utama repositori Git Anda dan tempelkan aturannya.
- Jika sebagian berkas tersebut sudah dilacak, jalankan git rm -r --cached . lalu buat commit baru — Git hanya menerapkan aturan pengabaian pada berkas yang belum dilacak.
- Commit .gitignore agar seluruh anggota tim menggunakan aturan yang sama.