Open dgp1130 opened 8 years ago
To address the issues brought up in #44, we will want to check types at compile-time. This should prevent cases such as an if statement returning different types under different conditions.
This is currently blocked by #48.
To address the issues brought up in #44, we will want to check types at compile-time. This should prevent cases such as an if statement returning different types under different conditions.
This is currently blocked by #48.