A simple, untyped, terminating functional language that is fully compatible with optimal reductions. - View it on GitHub