information about Agda field

Agda

http://en.wikipedia.org/wiki/Agda_(programming_language)
Field Hierarchy
Parent
Type theory
2,587 papers
Current
Agda
2 papers
Child
Trends