search

ct-gradual-typing / Papers

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

Tasks for 1/17 #48

Closed michaelto20 closed 7 years ago

michaelto20 commented 7 years ago
  1. Church Encodings for Numbers/operations and Booleans
  2. Improve error messaging
  3. Pretty printing, e.g. numbers with too many parenthesis
michaelto20 commented 7 years ago

For 3. an example: box 3