Sign in
agda-safe-sized-types.
Sized types and coinduction in Safe Agda
github.com/LightAndLight/agda-safe-sized-types
by
@LightAndLight
Problem
Audience
Keep exploring
Updates
Founder
0
Product
0
No founder updates yet. Check back soon.
🧪
staging
