summaryrefslogtreecommitdiffstats
diff options
context:
space:
mode:
authorCasey Robinson <casey@rampantmonkey.com>2019-08-26 11:05:52 -0400
committerCasey Robinson <casey@rampantmonkey.com>2019-08-26 11:05:52 -0400
commitd2fb30808d69c07d15bc8074413e033a597841c0 (patch)
tree2d9382ca01bf580548f179d3c39756085f891049
parent35b2444e05a5abe399a76cca0232d35d7876f75f (diff)
downloadrampantmonkey-d2fb30808d69c07d15bc8074413e033a597841c0.tar.gz
rampantmonkey-d2fb30808d69c07d15bc8074413e033a597841c0.tar.bz2
rampantmonkey-d2fb30808d69c07d15bc8074413e033a597841c0.zip
Practical TLA+ to the reading list
-rw-r--r--website/themes/rampantmonkey/layouts/index.html4
1 files changed, 2 insertions, 2 deletions
diff --git a/website/themes/rampantmonkey/layouts/index.html b/website/themes/rampantmonkey/layouts/index.html
index 40fc545..d3e637e 100644
--- a/website/themes/rampantmonkey/layouts/index.html
+++ b/website/themes/rampantmonkey/layouts/index.html
@@ -31,8 +31,8 @@
</div>
<div class="grid4"><!-- make dynamic with "reading list/bookshelf section" -->
<h2>Reading List</h2>
- <p>I am reading through the <em>Harry Potter</em> series so that I understand the references in puzzle hunts (and general conversation).</p>
- <a href="https://en.wikipedia.org/wiki/Harry_Potter">Wikipedia &rarr;</a>
+ <p>I am reading through <em>Practical TLA+</em> by Hillel Wayne to better understand how to apply formal methods.</p>
+ <a href="https://www.hillelwayne.com/post/practical-tla/">Book Website &rarr;</a>
</div>
<div class="grid4">
<h2>Contact Me</h2>