Content deleted Content added
Aaron Bruce (talk | contribs) 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. |
No edit summary |
||
Line 1:
{{refer}}
#REDIRECT [[Algebraic Logic Functional programming language]]▼
* [[ALF (theorem prover)]], a dependently-typed programming language/theorem prover.
▲
{{disambig}}
| |||