1. Peter Sewell
  2. lem
  3. Issues
Issue #22 resolved

search for files in current directory

Ramana Kumar
created an issue

lem requires all input files to be specified on the command line. it would be more convenient to use if it would automatically look for the dependencies of a file using some convention mapping filenames to module names.

Comments (1)

  1. Thomas Tuerk

    This feature got implemented now. Use one of the following commands to automatically load a module

    import MyModule
    open import MyModule
    include import MyModule

    The files are searched in the same directory as the module containing the import statement and in a list of library directories.

  2. Log in to comment