F-omega with interval kinds mechanized in Agda
-
Updated
Aug 1, 2024 - Agda
F-omega with interval kinds mechanized in Agda
Add a description, image, and links to the subtypes topic page so that developers can more easily learn about it.
To associate your repository with the subtypes topic, visit your repo's landing page and select "manage topics."