text.dhall 214 B

1234567891011
  1. let Prelude = ../../lib/prelude.dhall
  2. let JSON = Prelude.JSON
  3. let render
  4. : List Text → JSON.Type
  5. = λ(xs : List Text)
  6. → JSON.array (Prelude.List.map Text JSON.Type JSON.string xs)
  7. in render