Comment on Mysteries of Dropbox: Testing of a Distributed Sync Service (2016) [pdf]parentComments−nextos5moSeconded. All the Haskell people from Chalmers have produced very interesting work. Another example is Agda.−peterpost24moI had not heard of Agda before, I'll have to check that out. Thanks!
Comments
Seconded. All the Haskell people from Chalmers have produced very interesting work. Another example is Agda.
I had not heard of Agda before, I'll have to check that out. Thanks!