APL Wiki:Content guidelines: Difference between revisions

Jump to navigation Jump to search
→‎Verifiability: It's still better to rely on references than special verifiability rules
(→‎Verifiability: It's still better to rely on references than special verifiability rules)
Line 58: Line 58:
== Verifiability ==
== Verifiability ==


We make use of Wikipedia's definition [[wikipedia:wikipedia:Verifiability|verifiability]], but expand the definition somewhat to allow some kinds of material that would otherwise remain undocumented.
We make use of Wikipedia's definition [[wikipedia:wikipedia:Verifiability|verifiability]], but expand the definition somewhat to allow some kinds of material that would otherwise remain undocumented. Even if these rules were used it can be helpful to the reader to have a secondary source that more directly states the information, so if you are aware of a traditional encyclopedic reference (other than the published documentation, which is too obvious to justify the clutter), consider adding a citation.


The results of '''evaluating an expression''' in any array language, even one which is not readily available to the public, are automatically considered verifiable. Please actually perform this evaluation if you are relying on this rule! Results are also considered verifiable if they may be clearly derived from the language's published documentation.
The results of '''evaluating an expression''' in any array language, even one which is not readily available to the public, are automatically considered verifiable. Please actually perform this evaluation if you are relying on this rule! Results are also considered verifiable if they may be clearly derived from the language's published documentation.


'''Mathematical statements about APL with proof''' are considered to be verifiable. If you derive a new relation between APL primitives, and can prove it to a capable APLer, then feel free to put it on the wiki. Make sure you are clear about exactly which functions you are using, including distinguising between variations on APL primitives and noting any modifications or restrictions need to be made for the proven statement to hold.
'''Mathematical statements about APL with proof''' are considered to be verifiable. If you derive a new relation between APL primitives, and can prove it to a capable APLer, then feel free to put it on the wiki. Make sure you are clear about exactly which functions you are using, including distinguising between variations on APL primitives and noting any modifications or restrictions need to be made for the proven statement to hold.

Navigation menu