Commit graph

2 commits

Author SHA1 Message Date
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