[Agda] Re: Deriving Maximum Segment Sum

[Shin-Cheng Mu]

Dear friends,

Some questions:

1. Data.List.Properties?

    I was about to ask whether we should have a Data.List.Properties.
    From the Agda Wiki I learnt that there is in fact a general-purpose
    library being developed. Are we allowed to contribute our code  
either
    to the library in the distribution or to the library under  
development?

2. Agda Examples Repository?

    Will there be a repository of Agda sample programs, or can we
    contribute code to the examples directory?

sincerely,
Shin