a Compileable statically typed Functional programming Language - View it on GitHub