Skip to content

Investigate deletion of module declaration #1375

@phischu

Description

@phischu

Optionally, effekt files can start with something like module src/stuff. However, this information is redundant with the location of the file. We should delete this.

Addresses #7 and #264

Metadata

Metadata

Assignees

No one assigned

    Labels

    featureNew feature or request

    Type

    No type
    No fields configured for issues without a type.

    Projects

    No projects

    Milestone

    No milestone

    Relationships

    None yet

    Development

    No branches or pull requests

    Issue actions