search

ct-gradual-typing / Papers

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

Tasks for 11/28 #23

Closed michaelto20 closed 7 years ago

michaelto20 commented 7 years ago
  1. Use parse with parseFile, which should return a [Prog], if so then, convert to GFile
  2. Work on typchecking