This is not the latest version of this item. The latest version can be found here.
Agda code accompanying "Typal Heterogeneous Equality Types"
Repository URI
Repository DOI
Change log
Authors
Pitts, Andrew https://orcid.org/0000-0001-7775-3471
Description
Agda code (source code and html) for the paper "Typal Heterogeneous Equality Types" in ACM Trans. Comput. Logic
Version
Software / Usage instructions
Compiles with Agda version 2.6.0.1
Keywords
type theory, equality types, heterogeneous equality