ct-gradual-typing/Papers

Tasks 10/24

Closed this issue · 1 comments

michaelto20 commented
  1. In TypeChecker add x to the context before calling typeCheck_aux
  2. Make constructor for Box error
  3. Implement Squash
    ex. :t (x:? -> ?).(x (squash x)) should get (? -> ?) -> ?
  4. Implement Split
  5. Make example for each type of Term
  6. Fix pretty printer, it's printing out "U" instead of ?
  7. System should be able to do anything in untyped lambda calculus
michaelto20 commented

Task 1 completed during our meeting.
Task 2 completed.
Task 6 completed