Notes concerning “Wang tiles”

• One-line thoughts that don’t merit separate notes 2017-01-04 (updated 2017-02-25) (4 minutes)
• Wang tile addition 2017-02-16 (3 minutes)
• Wang tile font 2018-08-16 (5 minutes)