Comment by peterpost2 13 hours ago Anything written by John Hughes is worth a read. He also also wrote quickcheck. 1 comment peterpost2 Reply nextos 13 hours ago Seconded. All the Haskell people from Chalmers have produced very interesting work. Another example is Agda.
nextos 13 hours ago Seconded. All the Haskell people from Chalmers have produced very interesting work. Another example is Agda.
Seconded. All the Haskell people from Chalmers have produced very interesting work. Another example is Agda.