#lang plait

;; =============================================================================
;; Type Checker (Fall 2020): type-checker.rkt
;; =============================================================================

(require "support.rkt")

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

;; DO NOT EDIT ABOVE THIS LINE =================================================

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