小编Vas*_*hin的帖子

在《The Little Typer》一书中，我刚刚开始使用DrRacket。从 David Christiansen 的视频中，我输入了：

(claim two-plus-two-is-four
  (= Nat (+ 2 2) 4))

返回错误：

 claim : this function is not defined.

为什么？