tydeu cf5fe7e478 refactor: some CLI code cleanup		2022-06-02 18:56:17 -04:00
..
Context.lean	refactor:: separate build and scheduler monads	2021-12-23 16:25:15 -05:00
Dependency.lean	feat: new require syntax for package deps	2022-06-01 16:26:39 -04:00
Glob.lean	perf: do not import Lean.Elab.Frontend from Lake	2022-05-15 15:56:50 -04:00
InstallPath.lean	chore: auto pure was removed	2022-02-03 21:32:27 -05:00
Load.lean	feat: new require syntax for package deps	2022-06-01 16:26:39 -04:00
Manifest.lean	feat: save resolved packages in a manifest	2022-05-23 19:47:29 -04:00
Monad.lean	feat: split Lake context from BuildContext and also use it in scripts	2021-12-22 00:39:36 -05:00
Opaque.lean	chore: rename PointedType => NonemptyType	2022-01-15 11:42:09 -08:00
Package.lean	feat: new require syntax for package deps	2022-06-01 16:26:39 -04:00
Resolve.lean	feat: save resolved packages in a manifest	2022-05-23 19:47:29 -04:00
Script.lean	feat: expand script CLI into its own script command	2021-12-24 03:26:34 -05:00
SearchPath.lean	chore: auto pure was removed	2022-02-03 21:32:27 -05:00
Workspace.lean	feat: save resolved packages in a manifest	2022-05-23 19:47:29 -04:00
WorkspaceConfig.lean	feat: resolve deps immediately and store them in workspace	2021-12-04 16:24:19 -05:00