Wikifunctions:Maintainers

From Wikifunctions
Wikifunctions Maintainer

Maintainers are users who hold the functionmaintainer user group. There are currently 6 maintainers on Wikifunctions.

Overview

Maintainers are users who have the ability to make major changes to the Wikifunctions system, potentially breaking it. They can create and edit pre-defined objects provided by the WikiLambda system, including new Natural Languages and Programming Languages. They have the additional ability to edit the definition of functions which are "running".

How to request

This role is not available yet.

Requirements

Due to Wikifunctions being a new project, the community have not yet decided on what requirements or guidelines to follow around appointing members.

Granting

Wikifunctions staff are currently tasked with deciding whether to grant maintainer rights.

Technical ability

The functionmaintainer can complete the following additional actions:

  • Create new 'pre-defined' Objects (under Z10000) (wikilambda-create-predefined)
  • Edit existing 'pre-defined' Objects (under Z10000) (wikilambda-edit-predefined)
  • Create new Natural Language Objects (wikilambda-create-language)
  • Edit existing Natural Language Objects (wikilambda-edit-language)
  • Create new Programming Language Objects (wikilambda-create-programming)
  • Edit existing Programming Language Objects (wikilambda-edit-programming)
  • Edit Function that has a connected Implementation (wikilambda-edit-running-function)
  • Edit existing Type Objects (wikilambda-edit-type)
  • Edit system-provided Function (wikilambda-edit-builtin-function)


See also