Comment by zem

nice work! what level of type inference do you do on unannotated code?