Keywords: rekurzivni tip, induktivni tip, koinduktivni tip, funkcijsko programiranje, vsota tipov.Full text (file, 222,16 KB)