[Agda] Levels and Containers

Nils Anders Danielsson nad at cse.gu.se
Wed Feb 1 15:08:36 CET 2017


On 2017-01-27 21:15, Andreas Abel wrote:
> Don't know (but I am not a user of Container).  Let's see if there is
> strong arguments for the current situation, and if not, please submit
> a pull request.

I think I wrote that code. I don't have a strong opinion about this.

-- 
/NAD


More information about the Agda mailing list