diff --git a/proposal/comp517_proposal.pdf b/proposal/comp517_proposal.pdf
new file mode 100644
index 0000000..e4f1adc
Binary files /dev/null and b/proposal/comp517_proposal.pdf differ