Functional, strongly-typed programming language, implemented with C++ and LLVM - View it on GitHub