I don't know what to do about the error:

> ./scripts/lint-prelude.sh 

error: builder for '/nix/store/v4g0vw6li99nlipb614cb1cli2d8b982-expected-prelude.drv' failed with exit code 1;
       last 10 log lines:
       >
       > Error: Unbound variable: Natural/showHex
       >
       > 7│       Natural/showHex
       >
       > /nix/store/a79dlrpjyg4nfa895hckz348lf09p8zf-expected-prelude/Natural/showHex.dhall:7:7
       >
       > 3│   ./showHex.dhall
       >
       > /nix/store/a79dlrpjyg4nfa895hckz348lf09p8zf-expected-prelude/Natural/showHex:3:3
       For full logs, run 'nix log /nix/store/v4g0vw6li99nlipb614cb1cli2d8b982-expected-prelude.drv'.

Perhaps this comment:

I'll also help you tie the knot by merging the corresponding Haskell PR so that this will pass the dhall-lang CI

applies here.

I started to doubt whether this is a good addition to the language. It only solves a very specific problem. My current feelings are that it would be better to add some Natural arithmetic operations (see #1213), which would allow us to easily and efficiently implement showHex in Dhall. I'm not closing the PR yet - I'd love to hear an opinion of someone more involved with the language (@Gabriella439?).

Sorry for the delay on reviewing this

Regarding implementing this in the language, I think the most promising approach to adding a safe division operator is this one (in that same issue you linked):

#1213 (comment)

Sorry for the delay on reviewing this

Don't worry, there is no rush. 🙂 Thanks for your reply!

Regarding implementing this in the language, I think the most promising approach to adding a safe division operator is this one (in that same issue you linked):

#1213 (comment)

I'll look into this when time permits. I close this PR and the related dhall-haskell PR for now.