Title: Introduction to the functional programming language "Ponder"