1 files changed, 11 insertions, 2 deletions

diff --git a/README.md b/README.md
index 77d3aafba..fc87a9f0e 100644
--- a/README.md
+++ b/README.md
@@ -1,2 +1,11 @@
-# fiat-crypto
-Cryptographic Primitive Code Generation in Fiat
+Synthesizing Correct-by-Construction Assembly for Cryptographic Primitives in Fiat
+-----
+
+... which would make a good paper title.
+
+To build:
+
+    ln -s <FIAT_DIR> fiat
+    (cd fiat && make fiat-core)
+    make
+