Skip to content

Cleanup: Remove heuristic when looking for prelude/numeric files for targets #20

Description

@TIHan

There is a heuristic that will look for prelude/numeric files for targets. This needs to be handled better as it is a bit brittle. Perhaps the target itself should describe this. Maybe add a new API that the target implements?

Metadata

Metadata

Assignees

No one assigned

    Labels

    Projects

    Milestone

    No milestone

    Relationships

    None yet

    Development

    No branches or pull requests

    Issue actions