#lang plait

(require "support.rkt")

(define (eval [str : S-Exp]): Value
  (interp (parse str)))

(define (interp [expr : Expr]): Value
  .... ; Implement me!
  )