Allow legacy workspaces to import module-system dependencies - #11

Allow legacy workspaces to import module-system dependencies#11

kim-em merged 1 commit into

mainleanprover/lean-eval-generator:mainfrom

fix/legacy-workspace-dependenciesleanprover/lean-eval-generator:fix/legacy-workspace-dependenciesCopy head branch name to clipboard