Timeless is a functional, side effect-free, non-strict language. Timeless is designed to have simple syntax and semantics, inspired by naïve set theory, by mathematical notation, by other functional languages including Haskell, and by Prolog.
The detailed description of Timeless is at https://github.com/egamble/timeless/wiki
Copyright © 2013-2015 Evan Gamble. Distributed under the Eclipse Public License. See the file COPYING.