Content deleted Content added
added more functionals, corrected typos, reorganized |
|||
Line 35:
'''insert-right''' /'''f''' where /'''f''':⟨'''x'''⟩ = '''x'''
and /'''f''':⟨'''x'''<sub>1</sub>,'''x'''<sub>2</sub>,...,'''x'''<sub>n</sub>⟩ = '''f''':⟨'''x'''<sub>1</sub>,/'''f''':⟨'''x'''<sub>2</sub>,...,'''x'''<sub>n</sub>⟩⟩
and /'''f''':⟨ ⟩ = '''unit f'''
'''insert-left''' \'''f''' where \'''f''':⟨'''x'''⟩ = '''x'''
and \'''f''':⟨'''x'''<sub>1</sub>,'''x'''<sub>2</sub>,...,'''x'''<sub>n</sub>⟩ = '''f''':⟨\'''f''':⟨'''x'''<sub>1</sub>,...,'''x'''<sub>n-1</sub>⟩,'''x'''<sub>n</sub>⟩
and \'''f''':⟨ ⟩ = '''unit f'''
[[es:FP (lenguaje de programación)]]
| |||