Revision as of 12:54, 26 June 2007 edit Aaron Bruce (talk \| contribs) Extended confirmed users 1,076 edits moved ALF (programming language) to Algebraic Logic Functional programming language: According to the articles, this is what ALF stands for, and it is policy to have acronyms spelled out.		Revision as of 13:40, 8 August 2011 edit undo Ruud Koot (talk \| contribs) 31,416 edits No edit summary Next edit →
Line 1: {{refer}} #REDIRECT [[Algebraic Logic Functional programming language]]▼ * [[ALF (theorem prover)]], a dependently-typed programming language/theorem prover. ▲~~#REDIRECT~~* [[Algebraic Logic Functional programming language]], a functional/logic programming language. {{disambig}}

ALF (programming language): Difference between revisions