Javier Neira

Good points! I will comment one by one: > 1. It makes sense to bind each version of Etlas to a certain version of `dhall-to-etlas` and have these two lines...

A caveat about add implicit definitions is you cant use dhall executables to proccess the file. Otoh, if user want to add an explicit prelude/types the implicit ones would be...

Hi, i've changed the defaults in `dhall-to-etlas` to match the most common options for `eta` projects. The following options are by default: * `default-language`: `Haskell2010` * `default-extensions`: ``` BangPatterns DataKinds...

* I've created dhall files representing etlas index local and patched packages and eta boot packages: * https://github.com/jneira/etlas-index/blob/dhall-deps/dhall/index.dhall * https://github.com/jneira/etlas-index/blob/dhall-deps/dhall/boot-packages.dhall * We should make a tool to convert server index...

> Also, perhaps we can use the Ivy notation for managing version bounds - it's compact and avoids the awkward `&&` and comparison operations. (i.e. `"[4.5, 5)"` would mean `>=...

Yeah, i was thinking in make shorter that ones too, but you cant pass arbitrary records to a function, so you have to choose the set of fields to be...

Ivy notation already added so the dependencies would be ```haskell let dep = prelude.Dependency.singleInterval ..... build-depends = [ deps.base , deps.bytestring , deps.containers , deps.contravariant , deps.cryptonite , deps.dhall ,...

@rahulmutt submitted https://github.com/typelead/etlas-index/pull/22! Otoh i've made some progress in simplify the project and components: i've chosen the basic fields for build etlas project as a subset of actual cabal `BuildInfo`:...

@rahulmutt by default it would use the last version of `dhall-to-etlas` (`1.4.0.0`) instead master. I would like to fix the existent tests and make some new ones before doing a...

@rahulmutt also, do you think that will be interesting to let users use directly `dhall-to-etla`and `etlas-to-dhall`? We could: * Upload executables in the project and point out in docs *...