Reading List: started 'FP in Lean'

chriskrycho · Nov 28, 2023 · 2eccee8 · 2eccee8
1 parent 6ae6bea
commit 2eccee8
Showing 1 changed file with 2 additions and 0 deletions.
diff --git a/site/library/_Reading List.md b/site/library/_Reading List.md
@@ -78,6 +78,8 @@ These are books I have actually begun reading. (You will see items move from [<b
 
 - [<cite>The Staff Engineer's Path</cite>](https://bookshop.org/a/21126/9781098118730), Tanya Reilly (new)
 
+- [<cite>Functional Programming in Lean</cite>](https://lean-lang.org/functional_programming_in_lean/title.html), David Thrane Christiansen (new)
+
 
 ### Fiction