diff --git a/Readme.md b/Readme.md
new file mode 100644
index 0000000..7254903
--- /dev/null
+++ b/Readme.md
@@ -0,0 +1,18 @@
+# PPL Lab Packer
+
+This program packs and encrypts your codes for submission.
+
+More specifically, when you run `pack` in directory `proj`, 
+it will only pack the following files and directories, if they exist.
+
+* files
+  * `proj/dune-project`
+  * `proj/*.opam`
+* directories
+  * `proj/lib`
+  * `proj/bin`
+  * `proj/test`
+
+Such restrictions make uploads slim and without redundant files.
+
+It produces a PGP message `stu-code.pgp.txt`.
\ No newline at end of file