Notes concerning “Predicate logic”
A principled rethinking of array languages like APL
2015-05-16 (updated 2018-10-28) (3493 words)
Topics to study in 2016
2016-10-27 (updated 2016-11-15) (5612 words)
Pattern matching and finite functions
2017-05-10 (2333 words)