Arend \let definitions in REPL

\let definitions in REPL

Open valis opened this issue 4 years ago • 2 comments

Allow let definitions in REPL. E.g.,

> \let x => 3
> x + x
6

Feb 25 '21 06:02 valis

First we need to be able to parse \let x => 3 as an individual expression I gues

Feb 25 '21 08:02 ice1000

It is an individual expression. It's equivalent to \let x => 3 \in {?}.

Feb 28 '21 11:02 valis