benediktahrens/M-types
A formalization of M-types in Agda
Triangles
Public repository record indexed from GitHub. Explore verified star velocity metrics, source code repositories, and curated developer tool directories across the GitHubRepo ecosystem.
A formalization of M-types in Agda
Public repository.
Coq code accompanying several articles on semantics of functional programming languages
Public repository.