[Agda] dependent equality in Cubical Agda

Vlad Rusu Vlad.Rusu at inria.fr
Wed Jan 20 05:30:54 CET 2021


|Hi James,|

|Thank you very much for the solution and explanations!|

|Best regards,|

| - Vlad
|

||

-------------- next part --------------
An HTML attachment was scrubbed...
URL: <http://lists.chalmers.se/pipermail/agda/attachments/20210120/54ca0044/attachment.html>


More information about the Agda mailing list