double encoding urls - Dhall

Welcome to the Functional Programming Zulip Chat Archive. You can join the chat here.

Felix Bjært Hargreaves

I have an issue where if I percent encode a slash, dhall tries to double-encode it:

Welcome to the Dhall v1.40.1 REPL! Type :help for more information.

Error: Remote file not found

HTTP status code: 404