FP (programming language): Difference between revisions

Revision as of 19:17, 14 August 2004

Revision as of 19:20, 14 August 2004

Line 39:

'''condition''' ('''h''' ⇒ '''f''';'''g''') where ('''h''' ⇒ '''f''';'''g'''):'''x''' = '''f''':'''x''' if '''h''':'''x''' = '''T'''

and ('''h''' ⇒ '''f''';'''g'''):'''x''' = '''g''':'''x''' if '''h''':'''x''' = '''F'''

and ('''h''' ⇒ '''f''';'''g'''):'''x''' = '''⊥''' otherwise

'''apply-to-all''' ''α'''''f''' where ''α'''''f''':⟨'''x'''₁,...,'''x'''_n⟩ = ⟨'''f''':'''x'''₁,...,'''f''':'''x'''_n⟩