• undocumented idris2 features (sat 12 november 2022)
• fibonacci in maude and ats (mon 24 october 2022)
• a little ats program (fri 16 september 2022)
• a few undocumented beluga features (tue 12 july 2022)
• digitle in maude (mon 14 march 2022)