Relational programming in Haskell. Mostly developed on twitch. - View it on GitHub