.gitignore สำหรับ Agda

กฎการละเว้นสำหรับ Agda จำนวน 2 ข้อ พร้อมคัดลอกไปใช้ในคลังโค้ดของคุณ

ภาษาเชิงฟังก์ชันที่รองรับชนิดข้อมูลแบบขึ้นต่อค่า

.gitignore ที่สมบูรณ์สำหรับ Agda

# สร้างโดย LFGitignore - https://lfgitignore.com
# สร้าง: 2026-10-31 23:46:43 UTC
# เทคโนโลยี: Agda

### Agda ###
*.agdai
**/MAlonzo/**

ทุกรูปแบบด้านล่าง และทำไมมันถึงอยู่ใน .gitignore ของคุณ

รูปแบบ	สิ่งที่กฎนี้ละเว้น
`*.agdai`	ทั่วไป
`/MAlonzo/`	ทั่วไป

คัดลอกกฎ Agda ด้านบน หรือดาวน์โหลดไฟล์โดยตรง
สร้างไฟล์ชื่อ .gitignore ที่รากของที่เก็บ Git ของคุณ และวางกฎลงไป
หาก Git ติดตามไฟล์เหล่านั้นอยู่แล้ว ให้เรียกใช้ git rm -r --cached . แล้วคอมมิตอีกครั้ง เพราะกฎการละเว้นของ Git มีผลเฉพาะกับไฟล์ที่ยังไม่ได้ติดตาม
คอมมิตไฟล์ .gitignore เพื่อให้ทุกคนในทีมใช้กฎเดียวกัน