We read every piece of feedback, and take your input very seriously.
To see all available qualifiers, see our documentation.
Experiments with nominal types in HoTT Agda
Requires the HoTT-Agda core library.