Agda.Utils.FileName

data AbsolutePath

filePath

mkAbsolute

absolute

(===)

tests