maxsnew/grammars-and-semantic-actions

Stars

⭐ 28

PRs Reviewed

1

Bot Comments

0

Primary Language

Agda

Merge Rate

100.0%

Avg Time to Merge

29h

Avg Additions

+2.4K

Avg Deletions

-6.6K

Avg Files Changed

187