Skip to content

Making FLINT understandable to Users and New Contributors #111

@Temidayo32

Description

@Temidayo32

What does the current documentation state?

Screenshot_20211019-232417

Screenshot_20211019-232445

Where is this stated?
This is the link to the section of the documentation that needs urgent attention.

Why do you want to improve the statement?
As a new contributor, understanding FLINT deeply would equip me fully to making better contribution to the FLINT project. Without understanding what FLINT is all about, I doubt a very valuable contribution can be made towards the project.

Secondly, understanding FLINT would help me in handling issues, that is, making PRs to resolve issues.

Proposed statement
The documentation should be updated to include the details that are missing in the documentation on understanding FLINT.

Additional info
I have once mentioned this to @harshbardhan and he did mention to attend to it. But, I do think to make it more open to speed up work on it.

Also, I would love to help in updating the doc as regards this, but as I am still lacking significant knowledge of FLINT, I worry I will be able to make a contribution as regards this issue. Any suggestions to help me in making contributions thus, would be highly appreciated. Perhaps, someone to help me understand, then I create the documentation.

Metadata

Metadata

Assignees

No one assigned

    Labels

    No labels
    No labels

    Type

    No type

    Projects

    No projects

    Milestone

    No milestone

    Relationships

    None yet

    Development

    No branches or pull requests

    Issue actions