From 23515cbfe6b390c11b1c0c0ad236f2a6e2745a31 Mon Sep 17 00:00:00 2001
From: Lysxia <lysxia@gmail.com>
Date: Tue, 31 Mar 2020 21:54:50 -0400
Subject: [PATCH] README: Add project structure

---
 README.md | 18 ++++++++++++++++++
 1 file changed, 18 insertions(+)

diff --git a/README.md b/README.md
index d962006..18f59cd 100644
--- a/README.md
+++ b/README.md
@@ -93,3 +93,21 @@ any number of consecutive whitespace characters.
 ## Resources
 
 Reference: http://www.cplusplus.com/reference/cstdio/printf
+
+## Project structure
+
+Under `theories/`.
+
+### External modules
+
+- `FormatNotations.v`: Notations for format strings
+- `Printf.v`
+- `Scanf.v`
+
+### Internal modules
+
+- `Digits.v`: Print numbers as strings
+- `Flags.v`: Definition of flags
+- `Justify.v`: Justification and padding
+- `Format.v`: Definition of format strings
+- `FormatParser.v`: Parse and print format string notation