Notes concerning “Binary relations”
Twingler
2014-02-24 (1230 words)
Graph construction
2016-09-08 (updated 2017-07-19) (3695 words)
Pattern matching and finite functions
2017-05-10 (2333 words)