Revision as of 09:41, 27 August 2011 edit Helpful Pixie Bot (talk \| contribs) Bots 571,497 edits m Dated {{Merge to}}. (Build p613) ← Previous edit		Revision as of 11:44, 30 October 2011 edit undo Boleyn (talk \| contribs) Autopatrolled, Extended confirmed users, Page movers, New page reviewers, Pending changes reviewers 308,005 edits No edit summary Next edit →
Line 1: {{Incomplete disambiguation\|date=August 2011}}{{Merge to\|~~Alf~~ALF#Technology\|date=August 2011}} '''ALF (programming language)''' may refer to: * [[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