Only show local bindings in the REPL

robrix / path

A lambda calculus to explore type-directed program synthesis.

BSD 3-Clause "New" or "Revised" License

84 stars 2 forks source link

Only show local bindings in the REPL #53

Open robrix opened 5 years ago

robrix commented 5 years ago

We currently filter the Context & Env to what’s imported, but we should filter it further to only local bindings. Otherwise there’s just too much noise.