Check out my first novel, midnight's simulacra!
Search results
From dankwiki
- -->{{#switch:{{NAMESPACE}}|Template=[[Category:Other languages templates|{{{page|{{SUBPAGENAME}}}}}]]}}</includeonly><noinclude> [[Category:Other languages templates| Other languages]] ...4 KB (518 words) - 03:20, 28 April 2010
- == Links to other help pages == ;Versions of this help page (for other languages see below) ...5 KB (580 words) - 03:21, 28 April 2010
- ...pondences] and fixed-point combinators.<blockquote>''There may, indeed, be other applications of the system than its use as a logic.'' -- Alonzo Church, 193 ...ight not terminate for a given expression, though, despite termination via other orders (proofs under arbitrary reduction ordering are said to operate under ...22 KB (3,197 words) - 21:09, 5 August 2011
- ...User profile section, as well as a bar of tabs across the top for changing other types of settings. ...ns. Page text will '''not''' be translated, nor will templates (unless the templates integrate text localisation). ...7 KB (1,073 words) - 05:01, 13 June 2011