Prelude-v23.0.0

Switch Light/Dark Mode

/Prelude-v23.0.0/DirectoryTree/Entry/DirectoryEntry.dhall

Copy path to clipboard

Source

let Entry =
        missing
          sha256:75148ae19175750e38705e11cda8dcc775b2ac08f22518ff2ef3f33a6273ef15
      ? ./Type.dhall

in  \(tree : Type) -> Entry (List tree)