diff --git a/docs/r7rs.pdf b/docs/r7rs.pdf
new file mode 100644
index 00000000..c8000561
Binary files /dev/null and b/docs/r7rs.pdf differ