![Square](https://d39qdlcrvnra4b.cloudfront.net/avatars/1356124/original/square.jpg?1531419186)
Sandy Maguire
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.
![Frontmatter](https://leanpub.com/assets/podcast-frontmatter-logo-podcast-highlight-3667906f418d625625cbd7e4573af20c.png)
![](https://d39qdlcrvnra4b.cloudfront.net/avatars/1356124/tiny/square.jpg?1531419186)
Episode 117
An Interview with Sandy Maguire