show

{-
Render a `Bool` as `Text` using the same representation as Dhall source code
(i.e. beginning with a capital letter)

Examples:

```
./show True  = "True"

./show False = "False"
```
-}
let show : Bool → Text = λ(b : Bool) → if b then "True" else "False" in show