Can you elaborate more on the dependent type system? Is type checking decidable? What restrictions does it have to keep automatic type checking feasible?
We were thinking how to answer this question yesterday, but it is just too broad and I've literally cannot afford explaining all the caveats now. I will be supper happy to talk about it after the release on Luna forum, so if we could just move it there and discuss it in some short time, I would be thankful :)
