hyperpolymath/epistemic-types

Stars

⭐ 2

PRs Reviewed

1

Bot Comments

16

Primary Language

Agda

Merge Rate

100.0%

Avg Time to Merge

24m

Avg Additions

+2.0K

Avg Deletions

-2.1K

Avg Files Changed

59