diff --git a/README.md b/README.md
new file mode 100644
index 0000000000000000000000000000000000000000..e62947dc00e9dd477465b97a3335ca901081f438
--- /dev/null
+++ b/README.md
@@ -0,0 +1,38 @@
+# λ++
+
+λ++, or Lambda Plus Plus, is small abstraction layer on top of normal lambda calculus. This project consists of a transpiler to turn λ++ into BLC (binary lambda calculus). This can then be run with a normal BLC interpreter, such as [Justine's](https://justine.lol/lambda/).
+
+## Language
+
+```
+$false=λtf.f; # definition
+$omega=λa. (a a); # definition
+
+λa.a($omega(λbcde.d(bb)(λf.fce)))$false; # main expression (which uses our definitions)
+```
+
+Basically:
+- We have comments, yay
+- Definitions can be used to abstract things (okay this is a pretty loose definition of abstraction)
+- There should be a single expression somewhere, unrelated to the definitions (this is the main expression)
+
+And that's all you get.
+
+## Examples
+
+These were all pretty much stolen from [Justine's site](https://justine.lol/lambda/). Sorry, I'm afraid I don't know what I'm doing.
+
+```bash
+$ cargo run -- examples/hello_world.lpp | ./blc
+Hello World!
+```
+
+```bash
+$ { cargo run --release -- examples/sort.lpp; echo; printf "sort this is string please"; } | ./blc
+    aeeghiiilnoprrsssssttt
+```
+
+```bash
+{ cargo run -- examples/reverse.lpp; echo; printf "hello world"; } | ./blc
+dlrow olleh
+```
diff --git a/examples/hello_world.sos b/examples/hello_world.lpp
similarity index 100%
rename from examples/hello_world.sos
rename to examples/hello_world.lpp
diff --git a/examples/reverse.sos b/examples/reverse.lpp
similarity index 100%
rename from examples/reverse.sos
rename to examples/reverse.lpp
diff --git a/examples/sort.sos b/examples/sort.lpp
similarity index 100%
rename from examples/sort.sos
rename to examples/sort.lpp