I purchased PROGRAM = PROOF from Amazon. I'm looking forward to reading it and going through the Agda & OCaml exercises within.
It's also available as a PDF but I like supporting authors.
I purchased PROGRAM = PROOF from Amazon. I'm looking forward to reading it and going through the Agda & OCaml exercises within.
It's also available as a PDF but I like supporting authors.