From e12d2d811ca373a89efe998f4315b489f8bf8901 Mon Sep 17 00:00:00 2001 From: Hassan Abedi Date: Mon, 9 Mar 2026 10:44:30 +0100 Subject: [PATCH] WIP --- AGENTS.md | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/AGENTS.md b/AGENTS.md index 5730c68..8a0b5c4 100644 --- a/AGENTS.md +++ b/AGENTS.md @@ -4,7 +4,7 @@ This file provides guidance to coding agents collaborating on this repository. ## Mission -chase-rs is an efficient implementation of the chase algorithm in Rust for advanced reasoning engines. +Chase-rs is an efficient implementation of the chase algorithm in Rust for advanced reasoning engines. Priorities, in order: 1. Correctness of reasoning (sound and complete chase).