Disambiguation evidence for Agda via surface form

"Agda"

Triples (5)

Triples where some other subject referred to this entity as "Agda".

Idris → influencedBy →
"Agda"
↳ resolves to Agda
ⓘ
Curry–Howard correspondence → usedIn →
"Agda"
↳ resolves to Agda
ⓘ
univalent foundations program → relatedTo →
"Agda"
↳ resolves to Agda
ⓘ
Martin-Löf type theory → influenced →
"Agda"
↳ resolves to Agda
ⓘ
homotopy type theory → implementedIn →
"Agda"
↳ resolves to Agda
ⓘ