Agda

Agda, bağımlı olarak yazılan işlevsel bir programlama dilidir. .gitignore dosyası genellikle temiz bir depoyu korumak için geliştirme sırasında oluşturulan derlenmiş dosyaları, günlükleri ve geçici dosyaları yok sayar. Bir .gitignore dosyası, Git sürüm kontrol sistemlerinde Git'in göz ardı etmesi gereken kasıtlı olarak izlenmeyen dosyaları belirtmek için kullanılır. Bu, özellikle derlenmiş ikili dosyalar, günlük dosyaları, geçici dosyalar veya IDE'ye özgü dosyalar gibi depoya ait olmayan dosya ve dizinlerin sürüm kontrolü tarafından izlenmesini engellemek için kullanışlıdır.

Örnek Agda Dosyası

Agda.gitignore dosyası, projenizde belirli dosyaları yoksaymanıza izin verir. Kurulum için mutlaka yazıya göz atın.

*.agdai
MAlonzo/**