just a simples repo to record some annotations and implementations (and some proofs) of common data structures (trees, lists, vectors, maps...) presented in the book Functional Algorithms Verified.
most of them are in kind, so i recomend checking it out.