Skip to content

Support adding definitions in the REPL #2568

New issue
New issue
Open
Open
Support adding definitions in the REPL#2568
Labels
enhancementNew feature or requestrepl
Milestone
0.6.11
@lukaszcz

Description

@lukaszcz
lukaszcz
opened on Dec 21, 2023

This can be done without too much work after merging:

Metadata

Metadata

Assignees

No one assigned

    Labels

    enhancementNew feature or requestrepl

    Type

    No type

    Projects

    No projects

    Milestone

    Relationships

    None yet

    Development

    No branches or pull requests

    Issue actions