This is a trial project using MIR. The target is a statically typed language which has a similar syntax with Kinx. - View it on GitHub