User talk:Huangyihe

Welcome!
Hello, Huangyihe, and welcome to Wikipedia! Thank you for your contributions, especially your edits to CompCert. I hope you like the place and decide to stay. Here are a few links to pages you might find helpful:
 * Introduction and Getting started
 * Contributing to Wikipedia
 * The five pillars of Wikipedia
 * How to edit a page and How to develop articles
 * How to create your first article
 * Simplified Manual of Style

You may also want to take the Wikipedia Adventure, an interactive tour that will help you learn the basics of editing Wikipedia. You can visit The Teahouse to ask questions or seek help.

Please remember to sign your messages on talk pages by typing four tildes ( ~ ); this will automatically insert your username and the date. If you need help, check out Questions, ask me on my talk page, or, and a volunteer should respond shortly. Again, welcome! Diego (talk) 20:53, 1 September 2016 (UTC)