Labels

Something isn't working

Related to builtins

Related to the Acton compiler

Related to the backend database

Pull requests that update a dependency file

Improvements or additions to documentation

This issue or pull request already exists

New feature or request

Pull requests that update GitHub Actions code

Good for newcomers

Extra attention is needed

This doesn't seem right

Further information is requested

Related to the Acton Run Time System

Related to the Acton standard library

Related to the Acton language syntax / design

This will not be worked on