Skip to content

Expand should fully expand #23

Open
Open
Expand should fully expand#23
Labels
elaboratorenhancementNew feature or request

Description

@olynch
olynch
opened on Jun 8, 2026

We have a debug command expand which right now only eta-expands once. We should have it fully-expand, or add a command which full-expands.

Metadata

Metadata

Assignees

No one assigned

    Labels

    elaboratorenhancementNew feature or request

    Type

    No type

    Fields

    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