[Agda] Reflection with terms in different universes

Jannis Limperg jannis at limperg.de
Sat Jul 21 13:24:27 CEST 2018


Thank you very much, Roman! I expected the number of workable approaches
to this problem to be closer to zero than two, so your detailed answers
are much appreciated.

Cheers,
Jannis


More information about the Agda mailing list