← Back to repositories

agda/agda2hs

github.com/agda/agda2hs ↗

Agda

Stars

⭐ 202

PRs Reviewed

1

Bot Comments

0

Primary Language

Agda

Merge Rate

100.0%

Avg Time to Merge

21h

Avg Additions

+372

Avg Deletions

-456

Avg Files Changed

276

AI Review Products#

AI code review products active on this repository.