search

ct-gradual-typing / Papers

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

Tasks for week of 10/17 #13

Closed michaelto20 closed 7 years ago

michaelto20 commented 8 years ago
  1. Make a file that houses functions that can be pulled into the REPL and those functions can be used within the REPL.
  2. Finish TypeChecker.hs
  3. Once TypeChecker is finished, make a list of test cases
  4. Practice using question mark type
michaelto20 commented 8 years ago

Task 2 finished.