Haftungsausschluß.out KontaktHaskell {Haskell[221] CS[459] Ada[497]}diese Dinge liegen außhalb unserer Verantwortung
fix F (A B : Set) (f : A -> B) (l : list A) {struct l} :
list B := match l with
| nil => nil
| a :: l0 => f a :: F A B f l0
end
: forall A B : Set, (A -> B) -> list A -> list B
let fix f (m : nat) : nat := match m with
| 0 => 0
| S m' => f m'
end in f 0
: nat
Ltac f id1 id2 := fix id1 2 with (id2 (n:_) (H:odd n) {struct H} : n >= 1)
= cofix inf : Inf := {| projS := inf |}
: Inf
[ Seitenstruktur0.74Drucken
]
