Skip to content

Add exercise: all identity type families are equal#1175

Open
jeanas wants to merge 2 commits into
HoTT:masterfrom
jeanas:multiple-identities
Open

Add exercise: all identity type families are equal#1175
jeanas wants to merge 2 commits into
HoTT:masterfrom
jeanas:multiple-identities

Add exercise: all identity type families are equal

0f97293
Select commit
Loading
Failed to load commit list.
Sign in for the full log view

Annotations

1 error

The logs for this run have expired and are no longer available.