3 ms·

Functional Works "might release the talks soon". https://www.reddit.com/r/haskell/comments/7l2z7d/pdf_stephen_diehl_reasoning_about_program/drk9y2c/ https://ww

by tome 9y ago

Functional 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...