Commit graph

3 commits

Author SHA1 Message Date
bxie
cfa9d20781 added links, fixed inline links 2017-04-30 12:51:17 -07:00
Andy Ko
7aaba444b7 Small revisions to verification chapter. 2017-04-21 10:33:02 -07:00
Andy Ko
5b15ce12a6 First check-in of book. 2017-04-16 11:59:49 -07:00