Sandy might best be described somewhere between independent researcher and voluntarily-unemployed bum. At the ripe old age of 27 he decided to quit his highly-lucrative engineering job and decide to focus more on living than on grinding for the man. It's what you might call a work in progress. He regularly writes about Haskell and Agda at reasonablypolymorphic.com. Preface Acknowledgments Introduc