Revision as of 07:13, 9 August 2011 edit Helpful Pixie Bot (talk \| contribs) Bots 571,497 edits m Dated {{Incomplete disambiguation}}. (Build p613) ← Previous edit		Revision as of 19:03, 9 August 2011 edit undo R'n'B (talk \| contribs) Administrators 425,837 edits m subst template for ease of editing, using AWB Next edit →
Line 1: {{Incomplete disambiguation\|date=August 2011}} '''ALF (programming language)''' may refer to: ~~{{refer}}~~ * [[ALF (theorem prover)]], a dependently-typed programming language/theorem prover. * [[Algebraic Logic Functional programming language]], a functional/logic programming language. {{Disambiguation}}

ALF (programming language): Difference between revisions