Skip to content

:bind command for smol repl #979

New issue
New issue
Open
Open
:bind command for smol repl#979
Labels
as a treatA nice shiny exciting new thingreplREPL functionality
@danieljharvey

Description

@danieljharvey
danieljharvey
opened on Jun 22, 2023

Let us build up a module by adding defs / types to an environment etc.

Metadata

Metadata

Assignees

No one assigned

    Labels

    as a treatA nice shiny exciting new thingreplREPL functionality

    Projects

    No projects

    Milestone

    No milestone

    Relationships

    None yet

    Development

    No branches or pull requests

    Issue actions