search

ct-gradual-typing / Papers

The Combination of Dynamic and Static Typing from a Categorical Perspective
10 stars 0 forks source link

Tasks 10/24 #16

Closed michaelto20 closed 8 years ago

michaelto20 commented 8 years ago
  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 8 years ago

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