Agda 用 .gitignore
Agda 用の除外ルール 2 件。そのままリポジトリにコピーして使えます。
依存型を持つ関数型言語
Agda 用 .gitignore の完全版
# LFGitignore によって生成 - https://lfgitignore.com
# 作成日：2026-10-31 22:57:58 UTC
# 技術：Agda
### Agda ###
*.agdai
**/MAlonzo/**
Agda のルールで除外されるもの
以下の各パターンと、.gitignore に含める理由を説明します。
一般的な
| パターン | 除外対象 |
|---|---|
*.agdai |
一般的な |
**/MAlonzo/** |
一般的な |
この Agda 用 .gitignore の使い方
- 上の Agda 用ルールをコピーするか、ファイルを直接ダウンロードしてください。
- Git リポジトリのルートに .gitignore という名前のファイルを作り、ルールを貼り付けます。
- 対象のファイルがすでに追跡されている場合は、git rm -r --cached . を実行して再度コミットしてください。Git の除外ルールは未追跡のファイルにのみ適用されます。
- チーム全員で同じルールを共有できるよう、.gitignore をコミットします。