dhall-path

Switch Light/Dark Mode

/dhall-path/Directory/descendTo

Copy path to clipboard

Source

let Anc = ../Path/Anc

let Directory = ./Type

in  λ(anchor : Anc) →
    λ(directory : Directory anchor) →
    λ(newDirComponent : Text) →
      ./descendThrough anchor directory [ newDirComponent ]