The main interaction monad should be MetaM and not TermElabM #39

New Issue

aniva · 2023-12-08T15:52:38-08:00

aniva commented

2023-12-08 15:52:38 -08:00

Executing for instance expr.echo could potentially introduce extra metavariables into the current context.

Executing for instance `expr.echo` could potentially introduce extra metavariables into the current context.

aniva added this to the 0.2.10 milestone 2023-12-08 15:52:38 -08:00

aniva added the

category

optimization

label 2023-12-08 15:52:38 -08:00

aniva self-assigned this 2023-12-08 15:52:38 -08:00

aniva added reference core/loop

2023-12-11 16:22:21 -08:00

aniva commented

2023-12-26 12:46:14 -08:00

Fixed

aniva closed this issue

2023-12-26 12:46:14 -08:00

Sign in to join this conversation.

No Label

No Milestone

No project

No Assignees

1 Participants

Notifications

Due Date

The due date is invalid or out of range. Please use the format 'yyyy-mm-dd'.

No due date set.

Dependencies

No dependencies set.

Reference: aniva/Pantograph#39

The main interaction monad should be MetaM and not TermElabM #39

The main interaction monad should be `MetaM` and not `TermElabM` #39