edwinb/Idris-dev — pull request #260 by hannesm (2013-03-23 14:53:09+00:00)
Title: add command to change current directory

this is a prerequisite for loading files in emacs... though not sure whether it should be exposed via help to the user. suggestions are welcome