--- a/README.markdown Sat Aug 20 22:33:17 2016 +0000
+++ b/README.markdown Sat Aug 20 22:44:15 2016 +0000
@@ -8,7 +8,25 @@
Temperance is a logic programming library for Common Lisp.
**Temperance is still in development, don't actually try to use this for
-anything yet. It should be usable by mid-2016.**
+anything important yet. It should be stable by the end of 2016.**
+
+![I don't know what that means](https://i.imgur.com/EWPGAHa.gif)
+
+Temperance is an implementation of the [Warren Abstract Machine][wam] in Common
+Lisp, designed to let you write Lispy Prolog. Its main goals are:
+
+* Be fast.
+* Implement most of vanilla Prolog.
+* Execute quickly.
+* Interop back and forth with Common Lisp.
+* Don't be slow.
+
+Temperance was made with [General Game Playing][] in mind (hence the focus on
+performance), but should be useful for anything you might normally use Prolog
+for.
+
+[wam]: https://en.wikipedia.org/wiki/Warren_Abstract_Machine
+[ggp]: https://en.wikipedia.org/wiki/General_game_playing
* **License:** MIT/X11
* **Documentation:** <http://sjl.bitbucket.org/temperance/>
@@ -16,8 +34,6 @@
* **Git:** <http://github.com/sjl/temperance/>
* **Issues:** <http://github.com/sjl/temperance/issues/>
-![I don't know what that means](https://i.imgur.com/EWPGAHa.gif)
-
License
-------
--- a/docs/index.markdown Sat Aug 20 22:33:17 2016 +0000
+++ b/docs/index.markdown Sat Aug 20 22:44:15 2016 +0000
@@ -1,7 +1,26 @@
Temperance is a logic programming library for Common Lisp.
**Temperance is still in development, don't actually try to use this for
-anything yet. It should be usable by mid-2016.**
+anything important yet. It should be stable by the end of 2016.**
+
+<img src="https://i.imgur.com/EWPGAHa.gif"
+ style="border: 1px solid #222; margin: 15px 0px 10px; width: 100%;"/>
+
+Temperance is an implementation of the [Warren Abstract Machine][wam] in Common
+Lisp, designed to let you write Lispy Prolog. Its main goals are:
+
+* Be fast.
+* Implement most of vanilla Prolog.
+* Execute quickly.
+* Interop back and forth with Common Lisp.
+* Don't be slow.
+
+Temperance was made with [General Game Playing][] in mind (hence the focus on
+performance), but should be useful for anything you might normally use Prolog
+for.
+
+[wam]: https://en.wikipedia.org/wiki/Warren_Abstract_Machine
+[ggp]: https://en.wikipedia.org/wiki/General_game_playing
* **License:** MIT/X11
* **Documentation:** <http://sjl.bitbucket.org/temperance/>
@@ -9,5 +28,7 @@
* **Git:** <http://github.com/sjl/temperance/>
* **Issues:** <http://github.com/sjl/temperance/issues/>
-<img src="https://i.imgur.com/EWPGAHa.gif"
- style="border: 1px solid #222; margin: 15px 0px 10px; width: 100%;"/>
+License
+-------
+
+Copyright 2016 Steve Losh and contributors. Licensed as **MIT/X11**.