search

ct-gradual-typing / Papers

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

Tasks 12/03 #27

Closed michaelto20 closed 7 years ago

michaelto20 commented 7 years ago
  1. Update with runParser and readFile instead of parse when parsing in grady file
  2. Flesh out more examples, esp. List -> untyped list holding typed data