Content deleted Content added
Line 29:
'''composition''' '''f'''&#x°'''g''' where '''f'''&#x°'''g''':'''x''' = '''f''':('''g''':'''x''')
'''construction''' ['''f'''<sub>1</sub>,...'''f'''<sub>n</sub>]
'''condition''' ('''h''' ⇒ '''f''';'''g''') where ('''h''' ⇒ '''f''';'''g'''):'''x''' = '''f''':'''x''' if '''h''':'''x''' = '''T'''
Line 43:
'''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>⟩
[[es:FP (lenguaje de programación)]]
| |||