search

robrix / path

A lambda calculus to explore type-directed program synthesis.
BSD 3-Clause "New" or "Revised" License
84 stars 2 forks source link

Manage the working directory from the REPL #42

Open robrix opened 5 years ago

robrix commented 5 years ago

Once we can shell out from the REPL (cf #41), we should be able to manage the working directory with :cd or whatever.