Algebraische Datentypen

Def: Kompositum = rekursiver algebraischer Datentyp



Johannes Waldmann 2011-07-07