feat: update quandledb — KQL query language design complete (closes #4)

hyperpolymath · claude · hyperpolymath · commit 519e45ac2eed · 2026-03-20T21:11:43.000Z
Update quandledb submodule to include SQL compatibility layer, dependent type variants spec, expanded Idris2 ABI with filled proofs, and SQL syntax in the EBNF grammar. Resolves #4 Co-Authored-By: Claude Opus 4.6 (1M context) <noreply@anthropic.com>
diff --git a/quandledb b/quandledb
@@ -1 +1 @@
-Subproject commit 06e3311dfdf77b3d76798835722e44d452b64f83
+Subproject commit cb1caa56f9a8597ceba8f0f0849704b084061f7b

Original file line number	Diff line number	Diff line change
`@@ -1 +1 @@`
`1`		`-Subproject commit 06e3311dfdf77b3d76798835722e44d452b64f83`
	`1`	`+Subproject commit cb1caa56f9a8597ceba8f0f0849704b084061f7b`