Hi. This is very nice. It has the flavor of Racket's contracts: http://docs.racket-lang.org/guide/contracts-first.html http://docs.racket-lang.org/guide/contra

Hi. This is very nice. It has the flavor of Racket's contracts: http://docs.racket-lang.org/guide/contracts-first.html http://docs.racket-lang.org/guide/contracts-first.html http://docs.racket-lang.org/reference/contracts.html http://docs.racket-lang.org/reference/contracts.html