Fwd: [Agda] Using instance arguments for pointed types

[Matteo Acerbi]

Hello Agda list,

maybe this ended up in Guillaume's spam folder, so I'll take the risk
of posting it here.

Cheers,
Matteo

---------- Forwarded message ----------
From: Matteo Acerbi <matteo.acerbi at gmail.com>
Date: Wed, Oct 2, 2013 at 12:56 AM
Subject: Re: [Agda] Using instance arguments for pointed types
To: Guillaume Brunerie <guillaume.brunerie at gmail.com>

Hello,

your question made me curious and I played a bit with HoTT-Agda:

https://gist.github.com/ma82/66efe89e918820f7f643

If that is not what you were after, just ignore. :-)

Cheers,
Matteo