Fol semantics model

Bib.lean

@@ -16,6 +16,8 @@ the text — the same convention as `sf-in-lean/Bib.lean`, which records books
 
 namespace Bib
 
+
+
 def logicandproof : Article where
   title  := inlines!"Logic and Proof"
   authors := #[inlines!"Jeremy Avigad", inlines!"Joseph Hua",
@@ -113,6 +115,16 @@ def nederpelt2014 : Article where
   volume  := inlines!""
   number  := inlines!""
 
+def wadler2003 : Article where
+  title   := inlines!"A Prettier Printer"
+  authors := #[inlines!"Philip Wadler"]
+  journal := inlines!"The Fun of Programming: A symposium in honour of Richard Bird's 60th birthday, Oxford"
+  year    := 2003
+  month   := none
+  volume  := inlines!""
+  number  := inlines!""
+  url     := "https://homepages.inf.ed.ac.uk/wadler/papers/prettier/prettier.pdf"
+
 def FAA2025 : Article where
   title   := inlines!"Formalizing Analysis of Algorithms, Autumn 2025"
   authors := #[inlines!"Sorrachai Yingchareonthawornchai"]

CLAUDE.md

@@ -39,7 +39,7 @@ Using Verso, we could also create slides; see https://github.com/arademaker/sviL
 
 The textbook will be written in Portuguese. Later, we plan to translate it back into English. 
 
-But all names in the Lean code are in English; comments in the Lean code are also in English. This applies to the code presented to the students and also the code of the project itself, the Lean code that produces the book (verso extensions, infrastructure, etc)
+But all identifiers in the Lean code are in English; comments and docstrings in the Lean code are also in English. This applies to the code presented to the students and also the code of the project itself, the Lean code that produces the book (verso extensions, infrastructure, etc)
 
 The repo README is in English. All documentation *about* the project should be in English. Use English for git commit messages as well.