sized-types topic

List sized-types repositories

agda-sizedIO

33
Stars
1
Forks
Watchers

IO using sized types and copatterns

verified publisher icon gallais