Prindi | E-postile | Salvesta 
Agda (programmeerimiskeel)
Agda (programming language)
ESTER | ISE | ERB | Google
Laiemad:programmeerimiskeeled programming languages
Seotud:funktsionaalprogrammeerimine functional programming
Valdkonnad:36 INFORMAATIKA. INFOTEHNOLOOGIA. AUTOMAATIKA.