[[!wikipedia Coq]]. Like Scheme, many of these languages permit *imperatival*
as well as functional coding; but they are regarded as functional programming
languages because they are so hospitable to functional programming, and give it
a central place in their design.
[[!wikipedia Coq]]. Like Scheme, many of these languages permit *imperatival*
as well as functional coding; but they are regarded as functional programming
languages because they are so hospitable to functional programming, and give it
a central place in their design.