Revision as of 19:03, 9 August 2011 edit R'n'B (talk \| contribs) Administrators 425,869 edits m subst template for ease of editing, using AWB ← Previous edit		Revision as of 09:35, 27 August 2011 edit undo Boleyn (talk \| contribs) Autopatrolled, Extended confirmed users, Page movers, New page reviewers, Pending changes reviewers 308,005 edits +merge Next edit →
Line 1: {{Incomplete disambiguation\|date=August 2011}}{{mergeto\|Alf#Technology}} '''ALF (programming language)''' may refer to: * [[ALF (theorem prover)]], a dependently-typed programming language/theorem prover.

ALF (programming language): Difference between revisions