Experiments with nominal types in HoTT Agda
Primary LanguageAgda
Requires the HoTT-Agda core library.