4 ms·
Is the talk recorded? Can we find it somewhere?
by neoberg 9y ago
Is the talk recorded? Can we find it somewhere?
- tome 9y agoFunctional Works "might release the talks soon". https://www.reddit.com/r/haskell/comments/7l2z7d/pdf_stephen_diehl_reasoning_about_program/drk9y2c/ https://www.reddit.com/r/haskell/comments/7l2z7d/pdf_stephen...