[Agda] lib-0.7 vs lib-0.6

[Serge D. Mechveliani]

Please, what are the news of  lib-0.7  with respect to  lib-0.6 ?
Where are shortly described the main difference features ?

Thanks,

------
Sergei