diff --git a/doc/r7rs.pdf b/doc/r7rs.pdf
new file mode 100644
index 0000000..a220ded
Binary files /dev/null and b/doc/r7rs.pdf differ