Revision as of 09:35, 27 August 2011 edit Boleyn (talk \| contribs) Autopatrolled, Extended confirmed users, Page movers, New page reviewers, Pending changes reviewers 308,005 edits +merge ← Previous edit		Revision as of 09:41, 27 August 2011 edit undo Helpful Pixie Bot (talk \| contribs) Bots 571,497 edits m Dated {{Merge to}}. (Build p613) Next edit →
Line 1: {{Incomplete disambiguation\|date=August 2011}}{{~~mergeto~~Merge to\|Alf#Technology\|date=August 2011}} '''ALF (programming language)''' may refer to: * [[ALF (theorem prover)]], a dependently-typed programming language/theorem prover.

ALF (programming language): Difference between revisions