add huffman's algorithm

vmsantos · Apr 13, 2022 · 5e8d1d2 · 5e8d1d2
1 parent 150e14d
commit 5e8d1d2
Show file tree

Hide file tree

Showing 3 changed files with 1,730 additions and 2 deletions.
diff --git a/README.md b/README.md
@@ -20,7 +20,7 @@ Besides Mathcomp, this also requires the [Equations](https://mattam82.github.io/
 10. [Beyond Insert and Delete: \cup, \cap and -](src/beyond.v)
 11. [Arrays via Braun Trees](src/braun.v)
 12. [Tries](src/trie.v)
-13. Huffman’s Algorithm
+13. [Huffman’s Algorithm](src/huffman.v)
 ### Part III: Priority Queues
 14. Priority Queues
 15. Leftist Heaps

diff --git a/_CoqProject b/_CoqProject
@@ -14,4 +14,5 @@ src/redblack.v
 src/avl.v
 src/beyond.v
 src/braun.v
-src/trie.v
+src/trie.v
+src/huffman.v