#lang racket
;; Starter code for A1Q3
;; May contain Unicode characters - download, don't cut/paste from browser
;; You must replace the ? with correct proof terms.

(define answer1 '(? : (((A ∧ B) -> C) -> (A -> (B -> C)))))

(define answer2 '(? : ((A -> (B -> C)) -> ((A ∧ B) -> C))))

(define answer3 '(? : ((A -> B) -> ((A ∧ C) -> (B ∧ C)))))

(define answer4 '(? : (((A -> B) ∧ (C -> D)) -> ((A ∧ C) -> (B ∧ D)))))