4 Likes
Note that the “Reason Isomorphically!” paper is from 2010. It is a great paper, but not really news.
1 Like
That’s a good point and something I’ve considered as well. I included it because it has resurfaced recently, and people in the Haskell community were seemingly interested in discussing it again.
1 Like