Ari Becker

To provide some context as to where I originally ran into this, I was trying to implement Concourse CI's Step Hooks, e.g. [on-failure](https://concourse-ci.org/on-failure-step-hook.html). This results in a record R of...

Whipping this up quickly as an example. Please note, that I'm not a Concourse developer - I can't change the underlying Job / Step / Pipeline schema which has a...

@Gabriel439 I (now) looked over the post and the branch... I guess I have two worries: Each Step isn't just recursive, it's also a union (Get / Task / Put),...

If I understand @kindaro correctly, he's asking for a way to write something like: ```dhall ''' This is a multi-line piece of documentation that has been broken into multiple lines...

I agree with @philandstuff here. There are additional issues where the Unicode text includes multiple languages, each with its own notion of what "uppercase" or "lowercase" might be (if at...

> while trying to find a way to compare a string from an environment that I want to convert into a union. There are creative ways to achieve this, i.e....

@JohannesRudolph saw this once Gabriel bumped the topic by moving it into `dhall-haskell`. Specifically for the Concourse use-case, you can run `fly format-pipeline -c

@SiriusStarr there's a problem with a simple desugar. ```dhall expose { a = 1, b = 2, c = 3 } expose { d = a , e = b...

@SiriusStarr if you instead split out the two `expose` lines into their own files, i.e. `expose ./abc.dhall` and `expose ./def.dhall`, clearly `def.dhall` would not parse on its own. `let` statements...

@Gabriel439 I understand how the normalization process sorts the alternatives, I think my question was more about whether it was possible to parse `Foo: 20` as `< Bar : Natural...