User talk:Hugo Herbelin

From Wikipedia, the free encyclopedia
Jump to: navigation, search

Your recent edits[edit]

Hi there. In case you didn't know, when you add content to talk pages and Wikipedia pages that have open discussion, you should sign your posts by typing four tildes ( ~~~~ ) at the end of your comment. On many keyboards, the tilde is entered by holding the Shift key, and pressing the key with the tilde pictured. You may also click on the signature button Button sig2.png located above the edit window. This will automatically insert a signature with your name and the time you posted the comment. This information is useful because other editors will be able to tell who said what, and when. Thank you! --SineBot (talk) 22:27, 29 December 2007 (UTC)

Merging SKI combinator calculus and Combinatory logic[edit]

Hi, I've seen you as a recent contributor of Combinatory logic page and a very active Wikipedian, so I'm contacting you.

I casually met both mentioned pages and realized they are very similar in topic (even if different in content), so I proposed a merger here. I'd welcome any opinion from you on this topic. Bye! --Blaisorblade (talk) 14:37, 6 January 2008 (UTC)

Markov's principle[edit]

Great start, thanks. --192.75.48.150 (talk) 16:10, 17 January 2008 (UTC)

Your recent edits[edit]

Information.svg Hello. In case you didn't know, when you add content to talk pages and Wikipedia pages that have open discussion, you should sign your posts by typing four tildes ( ~~~~ ) at the end of your comment. You could also click on the signature button Insert-signature.png located above the edit window. This will automatically insert a signature with your username or IP address and the time you posted the comment. This information is useful because other editors will be able to tell who said what, and when. Thank you. --SineBot (talk) 22:26, 22 March 2011 (UTC)

ArbCom elections are now open![edit]

Hi,
You appear to be eligible to vote in the current Arbitration Committee election. The Arbitration Committee is the panel of editors responsible for conducting the Wikipedia arbitration process. It has the authority to enact binding solutions for disputes between editors, primarily related to serious behavioural issues that the community has been unable to resolve. This includes the ability to impose site bans, topic bans, editing restrictions, and other measures needed to maintain our editing environment. The arbitration policy describes the Committee's roles and responsibilities in greater detail. If you wish to participate, you are welcome to review the candidates' statements and submit your choices on the voting page. For the Election committee, MediaWiki message delivery (talk) 13:40, 24 November 2015 (UTC)