rzk-0.7.4: An experimental proof assistant for synthetic ∞-categories
Safe HaskellSafe-Inferred
LanguageHaskell2010

Rzk.Main

Synopsis

Documentation

globNonEmpty :: FilePath -> IO [FilePath] Source #

Finds matches to the given pattern in the current working directory. **NOTE:** throws exception when glob returns an empty list.

expandRzkPathsOrYaml :: [FilePath] -> IO [FilePath] Source #

Given a list of file paths (possibly including globs), expands the globs (if any) or tries to read the list of files from the rzk.yaml file (if no paths are given). Glob patterns in rzk.yaml are also expanded.