GitHub repository: silkvine/Formality-Base
Description: Standard library for the Formality language