/dhall-path/Directory/Type
Copy path to clipboardSource
let Anc = ../Path/Anc
let Typ = ../Path/Typ
let Path = ../Path/Type
in λ(anchor : Anc) → Path anchor Typ.Dir
let Anc = ../Path/Anc
let Typ = ../Path/Typ
let Path = ../Path/Type
in λ(anchor : Anc) → Path anchor Typ.Dir