The AI detection definitions or scanner version have been updated! Re-scan this repository for more accurate results.

agda2hs (link)

the signals and their derived score are provisional and subject to change.

validate manually before sharing.

score
93 (A)

mode
Full

last commit
4e6de7ec2109b3bed6a820728b57d31ad7ffd698

analyzed on
Fri, 28 Aug 2026 15:57:19 +0000

total evidence
2

commit signals (2)

AiAuthor
Tool: github-copilotCommit: 15263dff5cf367594bfc5db7b9bfa8dc316b126cAuthored: 9 months ago (Sat, 29 Nov 2025 10:59:12 +0000)Match: Copilot
AiCoAuthor
Tool: github-copilotCommit: 15263dff5cf367594bfc5db7b9bfa8dc316b126cAuthored: 9 months ago (Sat, 29 Nov 2025 10:59:12 +0000)Match: Co-authored-by: copilot-swe-agent[bot] <198982749+Copilot@users.noreply.github.com>

none

none