Notes concerning “Binate”

• Efficiently querying a log of everything that ever happened 2015-09-03 (7 minutes)
• Term rewriting 2017-07-19 (3 minutes)
• Binate and KANREN 2018-12-02 (3 minutes)