Welcome to the Functional Programming Zulip Chat Archive. You can join the chat here.
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
Is this intended behaviour?