David Van Horn
David Van Horn
I can live with this for now (I wish the tool signalled an error for an unsupported contract, instead of saying it doesn't verify). So is there any hope for...
Or maybe I misunderstood the purpose of `book-location`. I have a citation to a paper that appears in a book, but there doesn't seem to be a good way to...
The problem with using proceedings-location is that the result says "In Proc.", which is pretty far of the mark. I'll submit a pull request for a new function. Thanks. On...
Actually, I'm just going to close this. In my case, it's a festschrift and probably not re-usable.
It needs the redex gui bits. Any ideas on how to fix this?
On 9/8/14, 10:42 AM, Robby Findler wrote: > Make a "#lang pcf" variant that doesn't require the GUI? Use a dynamic > require ala Ryan's lazy require thingy? I thought...
+1 for supporting OS X.
Just here 6ish years later to say the same thing. I was surprised that in particular the code breaks on pairs. ```racket (sexp-diff '(1 . 2) '(1 . 2)) ```...