Homotopy Type Theory
Sandbox (Rev #10)
All right, let us get the identity types of type families working…
It doesn’t work! You need types indexed by type families, which we don’t have here.
Revision on April 12, 2025 at 00:57:34 by
Anonymous?.
See the history of this page for a list of all contributions to it.