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/21 #20

Closed michaelto20 closed 7 years ago

michaelto20 commented 7 years ago
  1. Finish Free vars checking
  2. Worker on parser for reading in definition file a. Parser should read in one line at a time a. use "eol" instead of "eof"