Comment on Mysteries of Dropbox: Testing of a Distributed Sync Service (2016) [pdf]parentComments−peterpost24moI had not heard of Agda before, I'll have to check that out. Thanks!
Comments
I had not heard of Agda before, I'll have to check that out. Thanks!