• a little ats program (fri 16 september 2022)
• a few undocumented beluga features (tue 12 july 2022)
• digitle in maude (mon 14 march 2022)