Commit bdb2450
docs: add white papers for GQL (Lithoglyph) and TypeQL-Experimental
GQL white paper: narrative-first query language design — mandatory provenance,
reversibility-by-default, two-tier architecture (GQL + GQL-DT), PROMPT
epistemological framework, interactive documentary support.
TypeQL-Experimental white paper: dependent types for query language safety —
six type-theoretic extensions (linear types, session types, effects, modal
types, proof-carrying code, quantitative types) using Idris2 QTT.
Co-Authored-By: Claude Opus 4.6 (1M context) <noreply@anthropic.com>1 parent a2703d2 commit bdb2450
2 files changed
+901
-0
lines changed
0 commit comments