Documentation
Lake
.
Config
Search
return to top
source
Imports
Lake.Config.Artifact
Lake.Config.Cache
Lake.Config.ConfigDecl
Lake.Config.ConfigTarget
Lake.Config.Context
Lake.Config.Defaults
Lake.Config.Dependency
Lake.Config.Dynlib
Lake.Config.Env
Lake.Config.ExternLib
Lake.Config.ExternLibConfig
Lake.Config.FacetConfig
Lake.Config.Glob
Lake.Config.InputFile
Lake.Config.InputFileConfig
Lake.Config.InstallPath
Lake.Config.Kinds
Lake.Config.LakeConfig
Lake.Config.Lang
Lake.Config.LeanConfig
Lake.Config.LeanExe
Lake.Config.LeanExeConfig
Lake.Config.LeanLib
Lake.Config.LeanLibConfig
Lake.Config.MetaClasses
Lake.Config.Module
Lake.Config.Monad
Lake.Config.Opaque
Lake.Config.OutFormat
Lake.Config.Package
Lake.Config.Pattern
Lake.Config.Script
Lake.Config.TargetConfig
Lake.Config.Workspace
Lake.Config.WorkspaceConfig
Imported by
← Mathematical handbook