gabby

I'd also be okay with always requiring the `--impure` flag to use this feature

Yeah, the reason the type is not supposed to change is so that evaluation doesn't need to infer the type. However, it is still weird that `(Some { x =...

What version of `dhall-lsp-server` are you running and how did you install it? The reason that I'm asking is that I'm *guessing* that it might have been built against an...

The way I usually reason through these things is to try to convert them into pure lambda calculus and see what happens if I try to type-check the equivalent lambda-expression....

Regarding `if` and `merge`, those would probably be easier to standardize, but it's not clear to me how we would use them.

Interesting. So it looks like it definitely works for `List Type`. Even though the version that parameterizes on `a : Kind` doesn't type-check, do we believe that `TList` works for...

The Dhall JavaScript code that powers https://dhall-lang.org is built using the older GHCJS and that's using Nixpkgs's support for GHCJS. However, I haven't tried either the WASM backend or the...

Sure, I would accept a PR for these.

Yeah, it should probably clarify that it's only guaranteed to be constant space for lists. Also, if I'm being really pedantic, it's only guaranteed to be constant space if all...

Oh yeah, I would be okay with switching to `foldl'`