LambdaTotoro

Welcome

Hello, Jonas.betzendahl! Welcome to Wikipedia! Thank you for your contributions. You may benefit from following some of the links below, which will help you get the most out of Wikipedia. If you have any questions you can ask me on my talk page, or place {{helpme}} on your talk page and ask your question there. Please remember to sign your name on talk pages by clicking or by typing four tildes "~~~~"; this will automatically produce your name and the date. If you are already excited about Wikipedia, you might want to consider being "adopted" by a more experienced editor or joining a WikiProject to collaborate with others in creating and improving articles of your interest. Click here for a directory of all the WikiProjects. Finally, please do your best to always fill in the edit summary field when making edits to pages. Happy editing! Pharaoh of the Wizards (talk) 19:35, 7 April 2013 (UTC) Getting Started The five pillars of Wikipedia • Tutorial • Your first article How to: edit a page • upload an image Getting Help Frequently Asked Questions New contributors' help page Where to: ask questions • make requests Request administrator attention Policies and Guidelines Neutral point of view • Reliable sources Verifiability • Citing sources • No original research What Wikipedia is not • Biographies of living persons Simplified Manual of Style • Three-revert rule Copyrights • Policy for non-free content • Image use policy External links • Spam • Vandalism • Sock puppetry Deletion policy • Conflict of interest • Notability The Community Community Portal • Adopt-a-user program Assume good faith • Civility • Etiquette No personal attacks • Resolving disputes Build consensus • Village pump Signpost • IRC channels • Mailing lists Things to do Be bold in editing • Help develop an article Maintenance • Peer review • Requested articles Join a WikiProject • Translating articles Cleaning up: General • Spam • Vandalism Miscellaneous Categories • Disambiguity • Stubs User pages • Talk pages Useful templates • Tools • User scripts

Teahouse Invitation

Hello! Jonas.betzendahl, you are invited to join other new editors and friendly hosts in the Teahouse. An awesome place to meet people, ask questions and learn more about Wikipedia. Please join us! Pharaoh of the Wizards (talk) 19:36, 7 April 2013 (UTC)

Nomination of Idris (programming language) for deletion

A discussion is taking place as to whether the article Idris (programming language) is suitable for inclusion in Wikipedia according to Wikipedia's policies and guidelines or whether it should be deleted.

The article will be discussed at Wikipedia:Articles for deletion/Idris (programming language) until a consensus is reached, and anyone is welcome to contribute to the discussion. The nomination will explain the policies and guidelines which are of concern. The discussion focuses on high-quality evidence and our policies and guidelines.

Users may edit the article during the discussion, including to improve the article to address concerns raised in the discussion. However, do not remove the article-for-deletion notice from the top of the article. Msnicki (talk) 21:14, 27 April 2013 (UTC)