Definition foo (n : positive) := let a := make 2 0 in let b := Pos.iter (fun b => set b 1 1) a (xO (xO (xO (xO (xO (xI (xO (xI (xO (xI (xI (xO (xO (xO (xO (xI xH)))))))))))))))) (* 100000 *) in let v := get b 0 in
Pos.iter (fun v => v + get a 0) v n.
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.
