Jump to content

Wikipedia:Articles for deletion/Idris (programming language)

Add links
From Wikipedia, the free encyclopedia
< Wikipedia:Articles for deletion
This is an old revision of this page, as edited by Msnicki (talk | contribs) at 21:14, 27 April 2013 (Creating deletion discussion page for Idris (programming language). (TW)). The present address (URL) is a permanent link to this revision, which may differ significantly from the current revision.
(diff) ← Previous revision | Latest revision (diff) | Newer revision → (diff)

Idris (programming language)

Idris (programming language) (edit | talk | history | protect | delete | links | watch | logs | views) – (View log · Stats)
(Find sources: Google (books · news · scholar · free images · WP refs) · FENS · JSTOR · TWL)

Lacks reliable independent secondary sources to establish notability as required by WP:GNG. All the sources offered and all that I could find by Googling are WP:PRIMARY and thus unsuitable. This could be a case where sources may soon become available to establish notability and the article could be resurrected. But Wikipedia is not a WP:CRYSTALBALL. Msnicki (talk) 21:14, 27 April 2013 (UTC)[reply]

Retrieved from "https://en.wikipedia.org/w/index.php?title=Wikipedia:Articles_for_deletion/Idris_(programming_language)&oldid=552473670"