Contextual types meet mechanized metatheory!
-
Updated
Jul 29, 2024 - OCaml
Contextual types meet mechanized metatheory!
Add a description, image, and links to the hoas topic page so that developers can more easily learn about it.
To associate your repository with the hoas topic, visit your repo's landing page and select "manage topics."