5 ms·
Anything written by John Hughes is worth a read. He also also wrote quickcheck.
by peterpost2 5mo ago
Anything written by John Hughes is worth a read. He also also wrote quickcheck.
- nextos 5mo agoSeconded. All the Haskell people from Chalmers have produced very interesting work. Another example is Agda.
- peterpost2 5mo agoI had not heard of Agda before, I'll have to check that out. Thanks!