Record foo := { bar : nat } as id.
About bar. Class foo' := { bar' : nat } as id'.
About bar'.
CoInductive foo'' := { bar'' : foo'' } as id''.
About bar''. Set Primitive Projections.
Record foo''' := { bar''' : nat } as id. Print bar'''.
Die Informationen auf dieser Webseite wurden
nach bestem Wissen sorgfältig zusammengestellt. Es wird jedoch weder Vollständigkeit, noch Richtigkeit,
noch Qualität der bereit gestellten Informationen zugesichert.
Bemerkung:
Die farbliche Syntaxdarstellung ist noch experimentell.
