demmy's original pure functional programming language