Revision as of 07:07, 9 August 2011 edit Boleyn (talk \| contribs) Autopatrolled, Extended confirmed users, Page movers, New page reviewers, Pending changes reviewers 308,005 edits +incomp dab tag ← Previous edit		Revision as of 07:13, 9 August 2011 edit undo Helpful Pixie Bot (talk \| contribs) Bots 571,497 edits m Dated {{Incomplete disambiguation}}. (Build p613) Next edit →
Line 1: {{Incomplete disambiguation\|date=August 2011}} ~~{{incompdab}}~~ {{refer}} * [[ALF (theorem prover)]], a dependently-typed programming language/theorem prover. * [[Algebraic Logic Functional programming language]], a functional/logic programming language. {{~~disambig~~Disambiguation}}

ALF (programming language): Difference between revisions