Timeless

Timeless is a functional programming language. Timeless is side effect-free and non-strict. The syntax and semantics of Timeless are inspired by mathematical notation, by naïve set theory, by functional languages including Haskell, and by logic programming.

The detailed description of Timeless is at https://github.com/egamble/timeless/wiki