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. ⊢ https://google.com/hej%2Ffelix Error: Remote file not found HTTP status code: 404 URL: https://google.com/hej%252Ffelix
Is this intended behaviour?
I have an issue where if I percent encode a slash, dhall tries to double-encode it:
Is this intended behaviour?