Roast topics
Find topics
Roast it!
Roast topics
Find topics
Find it!
Login
From:
blog.ielliott.io
(Uncensored)
subscribe
Sized types and coinduction in Safe Agda
https://blog.ielliott.io/sized-types-and-coinduction-in-safe-agda
links
backlinks
Agda's sized types are inconsistent. This post is about why I care and how I've worked around it.