[Agda] Re: Associativity and Heterogeneous Equality

Kenichi Asai asai at is.ocha.ac.jp
Mon Jun 8 14:35:13 CEST 2015


Hi, Marco.  You might want to see a similar question that I asked last
year and its replies:

https://lists.chalmers.se/pipermail/agda/2014/007282.html

-- 
Kenichi Asai


More information about the Agda mailing list