dhall-to-cabal-1.3.0.0: golden-tests/dhall-to-cabal/empty-package.dhall

  ../../dhall/defaults/Package.dhall 
⫽ { name =
      "Name"
  , version =
      ../../dhall/Version/v.dhall  "1"
  , executables =
      [ { name =
            "foo"
        , executable =
            λ(config : ../../dhall/types/Config.dhall)
          → ../../dhall/defaults/Executable.dhall
          ⫽ { main-is = "Main.hs" }
        }
      ]
  }