The Monad language. Dependent types, functional programming compiled with LLVM. Hobby project. monad-lang.org
dependent-types language compiler programming-language functional-programming

Version history of scripts/lib/bootstrap-dir.sh

September 2026

August 2026

July 2026

June 2026