[대회] leftist tree & 허프만 코딩 답안

[다믜(damhiya)]

https://github.com/damhiya/dc-github-ps/blob/master/PersistentHeap/HuffmanCoding/Main.hs

leftist tree가 구현이 좀 간단하네

허프만 디코딩은 안해도 되는데 그냥 시험삼아 해봄.

(연관된 값이 leaf에만 달린 이진 Trie로 함)

splay 같은것도 해볼까 싶고

dependent type으로 검증된 leftist tree 만드는것도 재밌을것 같고

하지만 막상 하기는 귀찮고

[기괴공학도(mecheng98)]