The questions are in cscc24-2023-5-a1.pdf

Two files to hand in:

proof.txt (no starter file, please create it from scratch)
Complete.hs (starter included)

Trie.hs contains definitions.

Sample test cases: testComplete.hs
Support file: TestLib.hs