• Self-describing Numbers Part 2 - September 14, 2020
• Self-describing Numbers - September 4, 2020
• Generalizing Biapplicatives - August 12, 2020
• Appending Braun Trees - July 8, 2020
• The Identity Monad - May 15, 2020