Pie language: Manual vs Real life

Question

For the new scheme-like, dependently-typed language 'Pie', I purchased the language's companion book: The Little Typer (http://thelittletyper.com/)

I'm trying to follow along with the code using DrRacket, but I'm getting on errors when I type the code in the book.

(cons 'ratatouille 'baguette)

I get this error: "Can't determine a type"

Since both of the symbols are Atoms, shouldn't that call to cons work?

Also, the '+' function is undefined, even for numbers. Does Pie have prelude that can be imported to provide such basic things.

Answer 1

Try

#lang pie
(the (Pair Atom Atom)
  (cons 'foo 'foo))