From 6e1e2b7ab1bb9b25b162f8e86280a6098ea76681 Mon Sep 17 00:00:00 2001 From: Ben Sherman Date: Fri, 25 May 2018 10:44:08 -0400 Subject: [PATCH] Fix typo in book with label for Embeddings chapter --- frap_book.tex | 3 ++- 1 file changed, 2 insertions(+), 1 deletion(-) diff --git a/frap_book.tex b/frap_book.tex index 39577dc..e89e48c 100644 --- a/frap_book.tex +++ b/frap_book.tex @@ -3453,7 +3453,8 @@ In fact, we can prove that any other state is unstuck, though we won't bother he %%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%% -\chapter{label{embeddings}Deep Embeddings, Shallow Embeddings, and Options in Between} +\chapter{Deep Embeddings, Shallow Embeddings, and Options in Between} +\label{embeddings} So far, in this book, we have followed the typographic conventions of ordinary mathematics and logic, as they would be worked out on whiteboards. In parallel, we have mechanized all of the definitions and proofs in Coq.