A formalization of M-types in Agda
Clone or download
Fetching latest commit…
Cannot retrieve the latest commit at this time.
Permalink
Type Name Latest commit message Commit time
Failed to load latest commit information.
container
equality
function
hott
overloading
sets
.gitignore
LICENSE
README.markdown
decidable.agda
equality.agda
function.agda
hott.agda
level.agda
m-types.agda
sum.agda

README.markdown