Definitions for pure functions.
Overview
The definition of a Pure Function
Application and Extensionality
up HOME © RBJ