remove old Trie

lemastero · Aug 20, 2023 · 84b94f5 · 84b94f5
1 parent 3207708
commit 84b94f5
Showing 1 changed file with 0 additions and 31 deletions.
diff --git a/src/verified-algos/Trie.agda b/src/verified-algos/Trie.agda