#lang plait

; Responsible TA: Peter Hahn

(require "support.rkt")

(define (type-check [e : S-Exp]): Type
  (type-of (desugar (parse e))))

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

(define (type-of [e : Expr]): Type
  .... ; Implement me!
  )