Keywords: Agda, grafični uporabniški vmesnik, ogrodje Cocoa, medprocesna komunikacijaFull text (file, 1,42 MB)