Upgrade typeCheck_aux - Githubissues

ct-gradual-typing / Papers

The Combination of Dynamic and Static Typing from a Categorical Perspective

10 stars 0 forks source link

Closed michaelto20 closed 8 years ago

michaelto20 commented 8 years ago

Now that typeCheck is compliling, work on putting it together with typeCheck_aux

michaelto20 commented 8 years ago

Changes fully implemented with new exceptions