Vergleich Termalgebra/data

Übereinstimmungen:

• Sortensymbol = Typ
• Funktionssymbol = Konstruktor

Erweiterungen:

• benannte Notation von Konstruktor-Argumenten
• Polymorphie