rel

Some stuff on relation algebra in Haskell.

Explanatory Blog posts:

• http://www.philipzucker.com/a-short-skinny-on-relations-towards-the-algebra-of-programming/
• http://www.philipzucker.com/relational-algebra-with-fancy-types/

Links:

• www4.di.uminho.pt/~jno/ps/pdbc.pdf JN Oliveira Program Design By Calculation draft
• https://themattchan.com/docs/algprog.pdf algebra of programming textbook