Ključne besede: rekurzivni tip, induktivni tip, koinduktivni tip, funkcijsko programiranje, vsota tipov.Celotno besedilo (datoteka, 222,16 KB)