(** This is not the issue of https://github.com/HoTT/coq/issues/48, but was mentioned there. *)
Record Foo :=
{
foo := 1;
bar : foo = foo
}. (* Anomaly: lookup_projection: constant is not a projection. Please report. *)
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.
