I took a cursory glance at the type inference code to see some of their code style and to check the error message style. The error message look well formatted f

I took a cursory glance at the type inference code to see some of their code style and to check the error message style. The error message look well formatted for the type inference phase and the algorithm looks to be very capable. The code is dense, but I think digging into this implementation is going to be my weekend project. Congratulations to the DaScript devs for getting this out there.