Adam Chlipala

What's the rationale for prioritizing CPU usage over memory usage? The existing throughput and latency results are already telling us a lot about the time dimension, while memory usage is...

@benlaurie, I'm presuming it's clear, but just in case not: the shorter way includes some set-up infrastructure code that wouldn't be duplicated per primitive. ;-) @franziskuskiefer, could it be nicer...

What version of Coq are you using?

Yeah, probably the right "fix" is just to acknowledge that, now, more recent Coq versions are required. I'm not remembering a place where I previously indicated version requirements, but I...

I agree that extra content would be nice, so I'm glad to have this issue here. Perhaps I'll go after this one incrementally the next time I teach the class.

Thanks for taking the initiative here! I'd be happy to accept a pull request, though I'd ask that it not use Unicode operators, which I've avoided through the rest of...

I've certainly thought about various more traditional methods of releasing the book contents, but I haven't taken any concrete steps toward them. Do you happen to know what goes into...

Thanks for the pointer. I suppose the issue here is that, if I ever do want to publish even more traditionally, Kindle rights might be a carrot I can use...

Right: if an officially blessed Kindle version becomes available for free, then the chance to sell an authorized Kindle version is no longer on the table for a publisher.