#eval repr <$> System.FilePath.readDir "readDir.lean.dir"