pl/frap
1
0
Fork 0
mirror of https://github.com/achlipala/frap.git synced 2024-11-10 00:07:51 +00:00
Code Issues Projects Releases Packages Wiki Activity Actions

Merge pull request #26 from bmsherman/book_typo

Browse source 
Fix typo in book with label for Embeddings chapter
This commit is contained in:
Adam Chlipala 2018-05-29 14:45:32 -04:00 committed by GitHub
commit 79e5f916b5
No known key found for this signature in database
GPG key ID: 4AEE18F83AFDEB23
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.