Fabrizio Ferrai

> ... where ./jsonParser.dhall would have access to text parsing/manipulation primitives that are ordinarily not available so that you could write a JSON decoder for Dhall. This would allow us...

> I would actually be fine baking in language support for JSON specifically instead of waiting for a more general solution While this sounds sensible, it also sounds like a...

@Gabriel439 What's the main challenge to tackle in order to fix this? As far as I remember the main problem is that it'd be hard to associate comment fragments to...

Agreed. The most robust way to fix this would be to have the upstream push to the swagger file at least the actual requirements that is possible to encode with...

But until we do this (I assume we'll have to look into Kube code) I guess the only way would be to make special rules that we add as we...

@arianvp Sure, I have open messages [on Twitter](https://mobile.twitter.com/fabferrai)

And here is the coverage report for `dhall-clj`'s master branch: https://coveralls.io/github/f-f/dhall-clj?branch=master I'm in the process of catching up on dhall-lang's master, so the new test suites are still missing

One example of the feature being used in the wild is [in Spago](https://github.com/purescript/spago#override-a-package-in-the-package-set-with-a-local-one) where we use it to represent location to Dhall files that would be evaluated at a later...

@rowanG077 I'm on the PureScript core team and I recently supervised [another thesis on a PureScript backend](https://github.com/purescm/purescm). I'm excited about HVM and I'd be available to provide pointers (on the...

Some context about this: we had a bug about times being weird, which was "fixed" by https://github.com/KSF-Media/gitlab-dashboard/commit/979282444fa48c39892067aa76dc1122e1b4f4a2 ("reverted" in https://github.com/KSF-Media/gitlab-dashboard/commit/3093d95c6ede51dd0d9acee353128cf6dd2f9a5e). A posteriori we realized that the running times were weird...