Idris 用 .gitignore

Idris 用の除外ルール 4 件。そのままリポジトリにコピーして使えます。

依存型を持つ言語

Idris 用 .gitignore の完全版

# LFGitignore によって生成 - https://lfgitignore.com
# 作成日：2026-10-31 23:47:52 UTC
# 技術：Idris

### Idris ###
*.ttc
*.ttm
*.ibc
# オブジェクトファイル
*.o

以下の各パターンと、.gitignore に含める理由を説明します。

パターン	除外対象
`*.ttc`	Idris 2
`*.ttm`	Idris 2

パターン	除外対象
`*.ibc`	Idris 1
`*.o`	オブジェクトファイル

上の Idris 用ルールをコピーするか、ファイルを直接ダウンロードしてください。
Git リポジトリのルートに .gitignore という名前のファイルを作り、ルールを貼り付けます。
対象のファイルがすでに追跡されている場合は、git rm -r --cached . を実行して再度コミットしてください。Git の除外ルールは未追跡のファイルにのみ適用されます。
チーム全員で同じルールを共有できるよう、.gitignore をコミットします。