4 Commits

Author SHA1 Message Date
Sergey Avseyev
05c3e4ff38 Fix link to PDF in "Considering Correctness" 2022-10-01 20:41:49 +00:00
Joseph T Lyons
f58462f198 Remove trailing whitespace 2021-01-16 18:10:50 -05:00
Shreyas Balakrishna
4aa7ef3c0a Add Jonathan Boccara's NamedType library 2020-04-29 16:35:17 +12:00
Jason Turner
19e4c22de1 Add new section on correctness, mutation testing 2019-12-08 16:30:26 -07:00