khibino/logic-examples.hg archive