📑🚀 Programming language with full type inference that compiles to LLVM - View it on GitHub