Comparison to Shen

Besides several syntactic differences and aesthetic design choices, Shen and Lux are very similar in their ambitions and goals.

Despite that, they have some differences.

Shen uses Sequent Calculus; Lux uses Hindley-Milner

Lux's type-system is based on the popular Hindley-Milner type-system which has been adopted by many functional languages, such as Haskell, Scala and the ML family.

https://en.wikipedia.org/wiki/Hindley%E2%80%93Milner_type_system

In contrast, Shen uses Sequent Calculus as the basis for its type-system.

http://www.shenlanguage.org/learn-shen/types/types_sequent_calculus.html

This choice may make it confusing to use for functional programmers lacking experience with proof theory.