On 1/15/15 7:42 PM, Benjamin Greenman wrote:
I tried writing a small program, but got stuck pretty early on. When I
try verifying the divides? function below, the tool times out. What's
happening?
(module div racket
(provide (contract-out [divides? (- positive? positive? boolean?)]))
On 1/15/15 2:42 PM, David Van Horn wrote:
On 1/15/15, 2:13 PM, Asumu Takikawa wrote:
On 2015-01-14 19:11:59 -0500, David Van Horn wrote:
If you have questions, comments, bugs, or any other feedback, let
us know, or just file bug reports on the GitHub source code.
Nice tool! I like the web
Ah, that makes sense, fixed.
On Jan 16, 2015, at 05:37, Robby Findler ro...@eecs.northwestern.edu wrote:
One comment. The contract combinators are curried so that you can do
work on the partial applications. So don't write this:
(define ho-val-first-projection
3 matches
Mail list logo