Book sources

Private repository containing the book chapters for types-and-memory-safety.

Layout

• book/ — chapter sources (pandoc markdown)
• editor_comments_*.txt — editor feedback
• types-and-memory-safety/ — submodule pointing at the public code repo
  (codeberg.org/.../types-and-memory-safety)

The submodule is pinned to a specific commit. Chapters that quote code
reference paths inside types-and-memory-safety/ (e.g.
types-and-memory-safety/ref-lang/examples/foo.ref-lang), so each book
commit reproduces against an exact code SHA.

Cloning

git clone --recurse-submodules <this-repo-url>
# or, if already cloned:                                                                                                                                                                                      
git submodule update --init
                                                                                                                                                                                                              
Bumping the code submodule                                                                                                                                                                                    
 
When the public code repo has new commits you want to pull into the book:                                                                                                                                     
                
cd types-and-memory-safety                                                                                                                                                                                    
git pull origin main
cd ..
git add types-and-memory-safety
git commit -m "Bump types-and-memory-safety to <short-sha>"                                                                                                                                                   
 
Workflow                                                                                                                                                                                                      
                
- Code changes happen in the public types-and-memory-safety repo, not here.                                                                                                                                   
- This repo only contains book content and a pinned reference to the code.
- Never copy code files out of the submodule into book/ — quote them by                                                                                                                                       
path so they stay in sync.