Ključne besede: Agda, grafični uporabniški vmesnik, ogrodje Cocoa, medprocesna komunikacijaCelotno besedilo (datoteka, 1,42 MB)