5 commits

Author	SHA1	Message	Date
Andy Ko	18f055d2a7	Added Google Analytics.	2018-03-15 08:14:21 -07:00
Andy Ko	2cd2fd638f	Clarifications of unit tests and formallity.	2017-06-15 11:22:48 -07:00
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