llrl mainly borrows its design from OCaml, Rust, Haskell, and Scheme. Statically-typed Hindley-Milner based type system Supports type classes Lisp-like syntax + macros Uses S-expressions to write programs Macros are compiled and executed at compile-time (JIT) Self-hosting AOT compiler implementation There are Rust implementation (llrl0) and llrl implementation (llrl1) Multiple backends llvm backen