Find .agda-lib file from current directory
and build all modules located in the include paths
and their subdirectories of the library.
ModuleAgda-2.8.0.2Haskell2010
Agda.Interaction.BuildLibrary
Type-check all files of a library (option --build-library).
Synopsis
- value buildLibrary
- PackageAgda-2.8.0.2
- Exports1
- LanguageHaskell2010
- LicenceMIT
- SourceBuildLibrary.hs