From 09ddf9556efe5efe8f6873fc42353c8b346829d4 Mon Sep 17 00:00:00 2001
From: Felix Dilke <felix.dilke@obsidian.systems>
Date: Mon, 12 Jan 2026 10:51:05 +0000
Subject: [PATCH] updated README

---
 README.md | 5 ++++-
 1 file changed, 4 insertions(+), 1 deletion(-)

diff --git a/README.md b/README.md
index d923a35..2a483aa 100644
--- a/README.md
+++ b/README.md
@@ -1,3 +1,6 @@
 # pyrites
 
-A place for SGAI-related code experiments
\ No newline at end of file
+A place for SGAI-related code experiments, hence the extremely modest name
+
+Initial work will be upskilling on Agda and lexing/parsing in Haskell for experimental
+  database query languages relevant to Datalog.