Yu-Yang Lin

I'm trying to check the following: ``` #lang racket (provide/contract [ack (->i ([m integer?] [n integer?]) (res (m n) (>=/c n)))]) (define (ack m n) (cond [(= m 0) (+...

Is there documentation somewhere on how to define a contract? Also, how are the examples in the repo organised? I'm trying to figure out how use soft-contract using the examples,...

Documentation for `Hashtbl.hash` does not mention the default meaningful nodes limit

3

The documentation for `Hashtbl.hash` currently reads: > `Hashtbl.hash x` associates a nonnegative integer to any value of any type. It is guaranteed that if `x = y` or `Stdlib.compare x...