github.com/idris-lang/Idris2 (link)

commit signals (3)

• AiGenerationPhrase
  Tool: claude-codeCommit: d83bc7d7964bd99ea16f8888b7cb9143a1343846Authored: 8 months ago (Sun, 11 Jan 2026 02:19:56 +0000)Match: 🤖 Generated with [Claude Code](https://claude.com/claude-code)
• AiGenerationPhrase
  Tool: claude-codeCommit: d83bc7d7964bd99ea16f8888b7cb9143a1343846Authored: 8 months ago (Sun, 11 Jan 2026 02:19:56 +0000)Match: 🤖 Generated with [Claude Code](https://claude.com/claude-code)
• AiCoAuthor
  Tool: claude-codeCommit: d83bc7d7964bd99ea16f8888b7cb9143a1343846Authored: 8 months ago (Sun, 11 Jan 2026 02:19:56 +0000)Match: Co-authored-by: Claude <noreply@anthropic.com>

source signals (0)

none

ignorefile signals (0)

none