13 commits

Author	SHA1	Message	Date
Amy J. Ko	b9ec6e00a5	Fixed redirect URLs.	2021-10-21 11:29:01 -07:00
Amy J. Ko	e7267b9328	Migrated to Peruse.	2020-09-08 14:07:08 -07:00
Amy J. Ko	ae9bdc1377	Updated fonts.	2020-08-29 12:44:53 -07:00
Amy J. Ko	df24a62146	Fixed #52, incorporating issues of racism, sexism, and ableism through the book.	2020-07-10 11:40:25 -07:00
Amy J. Ko	15f634a369	Updated name.	2019-09-24 14:19:01 -07:00
Andy Ko	560668741b	Clarified automatic theorem provers.	2019-04-16 14:37:47 -07:00
Andy Ko	d51fafdbe3	Removed "functional" from title.	2019-04-09 12:30:29 -07:00
Andy Ko	18f055d2a7	Added Google Analytics.	2018-03-15 08:14:21 -07:00
Davide Fucci	8388315f56	Correct author's name (Fucci et al., 2016)	2018-02-23 23:26:48 +01:00
Andy Ko	2cd2fd638f	Clarifications of unit tests and formallity.	2017-06-15 11:22:48 -07:00
bxie	7f91f2ebfe	minor typo fix	2017-05-10 09:16:01 -07:00
Andy Ko	3b3600a48d	Consistent emphasis.	2017-04-19 10:13:44 -07:00
Andy Ko	5b15ce12a6	First check-in of book.	2017-04-16 11:59:49 -07:00