Сначала вам нужно установить pie
.В DrRacket вы можете сделать это с помощью: Файл > Диспетчер пакетов ... > Что я имею в виду , введя pie
в поле источника пакета инажав Установить.
В качестве альтернативы, если вы используете командную строку, вы можете установить ее с помощью команды:
raco pkg install pie
Во-вторых, если вы используете DrRacket, вам необходимо убедиться в этом "«Определить язык из источника» выбирается в нижнем левом углу окна (в командной строке это значение по умолчанию).
В-третьих, поместите #lang pie
вверху файла.
#lang pie
(claim two-plus-two-is-four
(= Nat (+ 2 2) 4))
Это все еще не работает, потому что +
не встроен;это может быть определено с точки зрения других вещей, которые являются встроенными (это обсуждено на страницах 72 - 77 книги).