Your list of features seem to match up well with goals of my language. If you made mention of type-inference, then it would sound like a description of it. htt

Your list of features seem to match up well with goals of my language. If you made mention of type-inference, then it would sound like a description of it. https://github.com/GordianNaught/Juicy https://github.com/GordianNaught/Juicy