Leo is a functional, statically-typed programming language built for writing private applications on Aleo.