danielcirket / language

Apache License 2.0
0 stars 0 forks source link

Feature: Type Checking #3

Open danielcirket opened 7 years ago

danielcirket commented 7 years ago

Implement this before #4 so we have a working system to build from

danielcirket commented 7 years ago

Consider structural type matching vs the standard named type approach?