search

ct-gradual-typing / Papers

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

Importing Grady Files #38

Closed heades closed 7 years ago

heades commented 7 years ago

I am thinking it might be nice to try and see if we could get importing working.

The syntax might look like this:

import file1
import file2
import file3
import file4
...
import filei

where each filej corresponds to a Grady file filej.gry.