Content deleted Content added
Hans Adler (talk | contribs) →Overview: disambiguate |
|||
Line 19:
== Overview ==
The '''values''' that FP programs map into one another comprise a [[set (computer science)|set]] which is [[Closure (mathematics)|closed]] under '''sequence formation''':
if '''x'''<sub>1</sub>,...,'''x'''<sub>n</sub> are '''values''', then the '''sequence''' 〈'''x'''<sub>1</sub>,...,'''x'''<sub>n</sub>〉 is also a '''value'''
| |||