Fusing Flexibility with Formality: Practical Experience with Agile Formal Methods in Large-Scale Functional Programming 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/philipp-kant Lambda Days Website: www.lambdadays.org Twitter: www.twitter.com/LambdaDays Facebook: https://www.facebook.com/lambdadays LinkedIn: https://www.linkedin.com/company/11840018/