Commit 579c14b
chore(verification): gitignore Idris2 build artifacts
Co-Authored-By: Claude Opus 4.6 (1M context) <noreply@anthropic.com>1 parent 5ac4a09 commit 579c14b
3 files changed
Lines changed: 4 additions & 0 deletions
File tree
- verification/proofs
- idris2/build/ttc/2025081600
| Original file line number | Diff line number | Diff line change | |
|---|---|---|---|
| |||
| 1 | + | |
| 2 | + | |
| 3 | + | |
| 4 | + | |
Binary file not shown.
Binary file not shown.
0 commit comments