Blog

• Logic does not commute! (posted 2022-11-19)
• Backtracking state with LogicT (posted 2022-11-05)