|
(* lazy delta unfolding used to miss delta on rels and vars (fixed in 10172) *)
Check
let g := fun _ => 0 in
fix f (n : nat) :=
match n with
| 0 => g f
| S n' => 0
end.
¤ Dauer der Verarbeitung: 0.14 Sekunden
(vorverarbeitet)
¤
|
Haftungshinweis
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.
|
