Skip to content

Document the generic printer and how to write a backend #411

Description

@W95Psp

We should write a step-by-step tutorial about writting a backend for a simple language.

Metadata

Metadata

Assignees

No one assigned

    Labels

    backendIssue in one of the backends (i.e. F*, Coq, EC...)documentationImprovements or additions to documentationgeneric-printerhelp wantedExtra attention is needed

    Type

    No type

    Projects

    No projects

    Milestone

    No milestone

    Relationships

    None yet

    Development

    No branches or pull requests

    Issue actions