coinductive-types topic

List coinductive-types repositories

agda-sizedIO

33
Stars
1
Forks
Watchers

IO using sized types and copatterns

verified publisher icon gallais