ALF (programming language): Difference between revisions

Content deleted Content added

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		Latest revision as of 06:19, 11 June 2017 edit undo Tom.Reding (talk \| contribs) Autopatrolled, Extended confirmed users, Page movers, Template editors 4,364,437 edits m +{{Redirect category shell}} for multiple-{{R}} #Rs using AWB
(3 intermediate revisions by 2 users not shown)
Line 1: #REDIRECT [[ALF#Technology]] ~~{{Incomplete disambiguation\|date=August 2011}}{{Merge to\|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. {{Redirect category shell\|1= ~~{{Disambiguation}}~~ {{R from merge}} {{R from incomplete disambiguation}} }}