Content deleted Content added
Line 42:
and ('''h''' ⇒ '''f''';'''g'''):'''x''' = '''⊥''' otherwise
'''apply-to-all''' ''α'''''f''' where ''α'''''f''':⟨'''x'''<sub>1</sub>,...,'''x'''<sub>n</sub>⟩ = ⟨'''f''':'''x'''<sub>1</sub>,...,'''f''':'''x'''<sub>n</sub>⟩
'''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)]]
| |||