Library ListFromRight.foldl
List traversal from right to left.
Reference program for
fold_left
OCaml
fold_left
Library ListFromRight.foldl_issue
List traversal from right to left: a first attempt.
Library ListFromRight.foldl_rl_only
List traversal from right to left: minimalist version.
Reference program for
fold_left
OCaml
fold_left
Library ListFromRight.rl
This page has been generated by
coqdoc