pl/frap
1
0
Fork 0
mirror of https://github.com/achlipala/frap.git synced 2025-01-07 08:34:15 +00:00
Code Issues Projects Releases Packages Wiki Activity Actions

Fix typo in book with label for Embeddings chapter

Browse source
This commit is contained in:
Ben Sherman 2018-05-25 10:44:08 -04:00
parent 970580d6f9
commit 6e1e2b7ab1
1 changed files with 2 additions and 1 deletions
Show stats Download patch file Download diff file Expand all files Collapse all files

3
frap_book.tex
View file

@ -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.