Brendan Hay

In case it wasn't clear this is more of a 'how do I do this?' question, rather than a 'I think this is good/necessary' suggestion. As one counterargument - `Expr/print`...

@Gabriel439 Thanks. I've previously added builtins for other purposes but it just ends up being untenable due to the reimplementation of not just the entire `dhall` binary, but `dhall-to-yaml/json` as...

As an example of groundwork needed to realistically implement such a builtin I've thrown together #1613

Given the state of those OpenAPI definitions I'll maintain that writing/reusing a standalone [JSON Schema](https://json-schema.org/draft/2019-09/json-schema-core.html) Dhall package according the [RFC](https://www.ietf.org/id/draft-handrews-json-schema-02.txt) is going to be smoother than attempting to fix upstream...

I've literally run into this today - desiring an `Interpret/FromDhall Expr` instance to avoid actually having to do my day job. The use case is as follows: * (Very) large...

@Gabriel439 Out of interest, is it possible to interpret a function `a -> b -> Expr Src Void` with the way the `Encoder/Decoder`s are structured currently, even if it means...

@Gabriel439 In line with the thread, I want to preserve the `Expr`, not decode it, since there exists no Haskell data type representing the expected type - I merely want...

I've been using something like this as a stopgap: ``` haskell type Env = [(Text, Text)] class FromText a where fromText :: Text -> Either String a instance FromText Text...

[This blog post](https://www.snoyman.com/blog/babies-oss-maintenance/#special-call-out-stack) may (or may not) be an indication of how likely such features will be supported by stack.

The only prerequisite for adding a new API binding is that it is part of the [Google Discovery Service](https://developers.google.com/apis-explorer/#p/), and has a service definition that can be used by the...