How to Create New Pages

From VirtualLounge

How do I create a new page? It's easy, just search (in the sidebar) for the name of the page you'd like to create. The search will tell you that the page doesn't yet exist and give you a chance to create it!

You can also make a red link to something you'd like to add, or that you'd like someone else to add eventually. This is very easy, and in fact, encouraged, since it will add the name of the page you tried to link to our list of requested pages, from which others can take inspiration and contribute! All you have to do to create a red link is to surround some text corresponding to the name of the page you want in double brackets. For instance, to add a red link to a page called "Beta reduction" you could type [[Beta Reduction]] somewhere on a page. Or if you just wanted to make the page first and then link to it later, you could just search "Beta reduction" and create the page that way.