diff --git a/trivial/README.md b/trivial/README.md
new file mode 100644
index 0000000..d096beb
--- /dev/null
+++ b/trivial/README.md
@@ -0,0 +1,11 @@
+Project Structure
+---
+
+- `private/` Contains the implementation
+- `scribblings/` Documentation sources
+- `info.rkt` Racket package metadata
+- `main.rkt` Package front-end, use with `(require trivial)`
+- `no-colon.rkt` Alternate front-end, use with `(require trivial/no-colon)`
+- `*.rkt` Front-ends for specific libraries
+- `*/` Front-ends for the no-colon versions of specific libraries, like `(require format/no-colon)`
+
diff --git a/trivial/private/README.md b/trivial/private/README.md
index 49a1394..739d0af 100644
--- a/trivial/private/README.md
+++ b/trivial/private/README.md
@@ -4,3 +4,6 @@ private
 Files that no law-abiding library user should `require`.
 
 - `common.rkt` Helper functions common to a few macros.
+- `set-bang.rkt` Restrict `set!` to respect our syntax property metadata.
+- `test-common.rkt` Helpers for unit testing
+- `db/` Support for the `db.rkt` implementation