Skip to content

REPL: move from linenoise to lambda-term

E. Rivasrequested to merge
er433/repl/lambda-term into dev

type:internal

For LIGO developers

We're already depending on lambda-term, so we can move REPL to it, and remove linenoise dependency.

It closes #1439 .

Changelog details:

Edited by E. Rivas

Merge request reports