This is the learning notes when attending Functional Data Structure course at the Technical University of Munich.

https://functional-data-structure.memomind.cn/