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
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
Publisher
Rights and licensing
Except where otherwised noted, this item's license is described as Attribution 4.0 International