search

ct-gradual-typing / Papers

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

Tasks 1/4 #39

Closed michaelto20 closed 7 years ago

michaelto20 commented 7 years ago
  1. Improve error messages to make them more readable
  2. Implement Y combinator, call file Y.gry but give its definition name "Fix"
  3. Implement Repl help command, :h
michaelto20 commented 7 years ago

Task 3 completed