German Robayo

Results 38 comments of German Robayo

![image](https://user-images.githubusercontent.com/29154504/76996846-9c4b2480-6928-11ea-9023-0e18779baef4.png) This was the original idea, but after discussing with my UI/UX team we decided to left the arrow at the right, just as the project is currently doing. Anyway,...

That is a mock, actual country code picker is yours :)

I can try to contribute that to the project. It is not a difficult feature.

Hi. What can be the best way to work on this? I have some questions/comments: 1. Retrofit interfaces are usually made with user-defined classes that represents the response from api...

Hi. @HeshamAmer thanks for your feedback. I'll try to start working on this

@Gabriel439: From my POV there should be a flag for this feature. I have several questions, regarding the implementation details. * Is the input always going to be a _possible_...

@sjakobi Do we lose value ordering after processing dhall expression? I think that we could enumerate every key from the dhall expression and use that enumeration to sort. In @bch29...

> Would we generate the parser from `dhall.abnf`, or a modified version of it? Happy doesn't directly work with that specific format so we need to port it to happy...

> Would this sugar only apply to let bindings? Right now `λ(x : Text) → λ(y : Natural) → x` is a valid dhall file. Would you be able to...

> Could you flesh out that code a bit? Where is `FunctionBinding` used in `Expr`? Could you produce examples similar to what we have in the haddocks for `Binding`? Oops:...