The Twelf Project:Contributing

From The Twelf Project
Jump to: navigation, search

Welcome to the Twelf Project. If you are interested in helping in any way, your contributions would be welcomed and appreciated! We encourage you to sign up for an account so that we can say hello to you by name and not IP address. However, currently the wiki is editable by anyone, so logging in is not required.

These links might be useful:

  • Project:TwelfTag - syntax highlighting & inline code checking
  • Project:Literate Twelf - a hack of TwelfTag that makes it very easy to write Twelf offline in a wiki-friendly way
  • Project:To do - the work queue for wiki contributors
  • Project:Style guide - a style guide for contributions to the Twelf Project Wiki (not to be confused with Twelf style guide, which talks about style of Twelf code, which is also useful)
  • Project:Copyright - this wiki is generally available under a license which allows open use, but we have provisions if you cannot, or do not wish to, contribute content with that license.
  • Project:Administrators - people that can help you if you have a problem.
  • You can edit the individual sections of the front page by following the links at Talk:Main Page.

If you have any need for "admin" status on the wiki to do things like delete pages and edit protected pages, just ask an current administrator - it should be no problem, though it would help if we know who you are and have met you in person. If you're interested in sharing your knowledge with others, become a volunteer Twelf helper by leaving a message at Talk:Ask Twelf Elf.

Thanks and welcome!

- Administrators of the Twelf Project Wiki