Ajouter des primitives sur les structures de données

[mmontin]

A partir des exemples, nous devons implémenter des opérations supplémentaires sur les structures de données conjointes.

[pedagand]

I've left these as TODOs in

• https://github.com/pedagand/numerical-representations/blob/7eec920c82da8e8afa82109e52d5c111f66d8ae3/agda/BinaryRandomAccessList.agda#L50-L69
• https://github.com/pedagand/numerical-representations/blob/7eec920c82da8e8afa82109e52d5c111f66d8ae3/agda/BinomialTree.agda#L58-L83
• https://github.com/pedagand/numerical-representations/blob/7eec920c82da8e8afa82109e52d5c111f66d8ae3/agda/OneTwoRandomAccessList.agda#L54-L73

If you need Okasaki's textbook, I can send you an electronic copy.

[mmontin]

Thanks for these stubs! Yes I would like to have the electronic copy please.

[pedagand]

https://doc.lagout.org/programmation/Functional%20Programming/Chris_Okasaki-Purely_Functional_Data_Structures-Cambridge_University_Press%281998%29.pdf