Merry Christmas!

tree.dhall

let Prelude =
      https://prelude.dhall-lang.org/package.dhall
        sha256:534e4a9e687ba74bfac71b30fc27aa269c0465087ef79bf483e876781602a454

let repeat =
        λ(t : Text)
      → λ(n : Natural)
      → Prelude.`Text`.concat (Prelude.`List`.replicate n Text t)

let spaces = repeat " "

let Row = { l : Natural, m : Natural, r : Natural }

let renderRow =
      λ(row : Row) → "${spaces row.l}🎄${spaces row.m}🎄${spaces row.r}\n"

let renderRows = Prelude.`Text`.concatMap Row renderRow

let star = "      🌟      \n"

let presents =
      Prelude.`Text`.concatSep " " (Prelude.`List`.replicate 7 Text "🎁")

in      star
    ++  renderRows
        [ { l = 5, m =  1, r = 5 }
        , { l = 4, m =  3, r = 4 }
        , { l = 3, m =  5, r = 3 }
        , { l = 2, m =  7, r = 2 }
        , { l = 3, m =  5, r = 3 }
        , { l = 2, m =  7, r = 2 }
        , { l = 1, m =  9, r = 1 }
        , { l = 0, m = 11, r = 0 }
        ]
    ++  ''
        ${repeat "🎄" 13}
        ${presents}

        Merry Christmas!
        ''