.gitignore cho Agda
2 quy tắc bỏ qua cho Agda, sẵn sàng sao chép vào kho mã của bạn.
Ngôn ngữ hàm có kiểu phụ thuộc
Tệp .gitignore đầy đủ cho Agda
# Được tạo bởi LFGitignore - https://lfgitignore.com
# Ngày tạo: 2026-10-31 21:52:28 UTC
# Công nghệ: Agda
### Agda ###
*.agdai
**/MAlonzo/**
Các quy tắc Agda này thực sự bỏ qua những gì
Từng mẫu dưới đây và lý do nên thêm vào .gitignore.
Tổng quan
| Mẫu | Nội dung được bỏ qua |
|---|---|
*.agdai |
Tổng quan |
**/MAlonzo/** |
Tổng quan |
Cách sử dụng .gitignore này cho Agda
- Sao chép các quy tắc Agda ở trên hoặc tải tệp trực tiếp.
- Tạo tệp có tên .gitignore ở thư mục gốc của kho mã Git và dán các quy tắc vào đó.
- Nếu Git đã theo dõi một số tệp này, hãy chạy git rm -r --cached . rồi commit lại — Git chỉ áp dụng quy tắc bỏ qua cho các tệp chưa được theo dõi.
- Commit tệp .gitignore để mọi người trong nhóm dùng chung các quy tắc.