Interactive code from episode 1 of my 'Running Backwards' videos on relational programming. - View it on GitHub