Notes concerning “Backtracking”
More thoughts on powerful primitives for simplified computer systems architecture
2015-08-18 (updated 2015-11-02) (167 minutes)
Pattern matching and finite functions
2017-05-10 (16 minutes)