A functional language which is syntactically restricted to primitive recursive functions [BSD license]