Interactive code from episode 1 of my 'Running Backwards' videos on relational programming.