[Agda-dev] Agda std-lib maintainer

[Andreas Abel]

Wrt to the naming convertions, I suggest:

* uppercase camel-case for modules and types
* lowercase camel-case for functions
* lowercase separate-with-dashes for proofs

Mimic the current style of the library.

Try to reuse analogous names from the Haskell world as much as possible.

On 08.06.2017 09:53, G. Allais wrote:
>> I think we should designate a maintainer for the std-lib, to get the
>> pull requests merged.
> 
> Agreed. Aggressively designating reviewers and having a document
> spelling out the guidelines [1] might also speed up the process.
> Quite a lot of PRs are small enough that they can be reviewed in
> less than a quarter of an hour and they end up in limbo mostly
> because no one feels they have to / can say yes/no.
> 
> [1] I'd assume:
> - Check it compiles with master (the travis builds are still broken)
> - Check it's backwards compatible (is the fact that the
>    export list is a superset of the previous one sufficient?)
> - Naming conventions?
> 
> 
> 
> On 07/06/17 23:04, Andreas Abel wrote:
>> Hi Agda developers,
>>
>> I think we should designate a maintainer for the std-lib, to get the
>> pull requests merged.
>>
>> It should someone with some genuine interest in the library, with a good
>> taste, fairly conservative and responsible.
>>
>> The library should be developed in a backwards-compatible way, without
>> big revolutions, but with continuity in mind.
>>
>> What do you think?
>>
>> Best,
>> Andreas
>>
> 
> 
> 
> _______________________________________________
> Agda-dev mailing list
> Agda-dev at lists.chalmers.se
> https://lists.chalmers.se/mailman/listinfo/agda-dev
> 

-- 
Andreas Abel  <><      Du bist der geliebte Mensch.

Department of Computer Science and Engineering
Chalmers and Gothenburg University, Sweden

andreas.abel at gu.se
http://www.cse.chalmers.se/~abela/