Keynote: How to specify it! A guide to writing properties of pure functions This video was recorded at Lambda Days 2020 http://www.lambdadays.org/lambdadays2020 Get involved in Lambda Days' next conference http://www.lambdadays.org Learn more about the talk: https://www.lambdadays.org/lambdadays2020/john-hughes Lambda Days Website: www.lambdadays.org Twitter: www.twitter.com/LambdaDays Facebook: https://www.facebook.com/lambdadays LinkedIn: https://www.linkedin.com/company/11840018/