chboishabba/dashi_agda

Stars

⭐ 1

PRs Reviewed

1

Bot Comments

7

Primary Language

Agda

Merge Rate

0.0%

Avg Time to Merge

—

Avg Additions

+1.7K

Avg Deletions

-32

Avg Files Changed

13