diff --git a/site/library/_Reading List.md b/site/library/_Reading List.md index 3b562268..dd6322ae 100644 --- a/site/library/_Reading List.md +++ b/site/library/_Reading List.md @@ -2,7 +2,7 @@ title: Reading List subtitle: The books I am—or plan to be—reading! layout: page.njk -date: 2023-11-20T20:55:00-0700 +date: 2023-12-01T14:25:00-0700 standalonePage: true permalink: /library/reading-list/ @@ -76,8 +76,6 @@ These are books I have actually begun reading. (You will see items move from [Open Music Theory](https://viva.pressbooks.pub/openmusictheory/), Mark Gotham, Kyle Gullings, Chelsey Hamm, Bryn Hughes, Brian Jarvis, Megan Lavengood, and John Peterson (new) -- [The Staff Engineer's Path](https://bookshop.org/a/21126/9781098118730), Tanya Reilly (new) - - [Functional Programming in Lean](https://lean-lang.org/functional_programming_in_lean/title.html), David Thrane Christiansen (new) @@ -145,6 +143,8 @@ These are books I have actually begun reading. (You will see items move from [Programming Languages: Application and Interpretation](https://www.plai.org), Shriram Krishnamurthi (new) +- [The Staff Engineer's Path](https://bookshop.org/a/21126/9781098118730), Tanya Reilly (new) + ### Fiction