← Back to context Comment by peterpost2 11 hours ago Anything written by John Hughes is worth a read. He also also wrote quickcheck. 1 comment peterpost2 Reply nextos 11 hours ago Seconded. All the Haskell people from Chalmers have produced very interesting work. Another example is Agda.
nextos 11 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.