Skip to content

Commit b20dc49

Browse files
hyperpolymathclaude
andcommitted
docs: add Zenodo DOI badge (10.5281/zenodo.19329501) + status badges
Co-Authored-By: Claude Opus 4.6 (1M context) <noreply@anthropic.com>
1 parent 228602c commit b20dc49

1 file changed

Lines changed: 4 additions & 0 deletions

File tree

README.adoc

Lines changed: 4 additions & 0 deletions
Original file line numberDiff line numberDiff line change
@@ -6,6 +6,10 @@ Jonathan D.A. Jewell <j.d.a.jewell@open.ac.uk>
66
:toc: preamble
77
:icons: font
88

9+
image:https://zenodo.org/badge/DOI/10.5281/zenodo.19329501.svg[DOI,link="https://doi.org/10.5281/zenodo.19329501"]
10+
image:https://img.shields.io/badge/believe__me-0-brightgreen[believe_me: 0]
11+
image:https://img.shields.io/badge/tests-49_pass-brightgreen[tests: 49 pass]
12+
913
== Overview
1014

1115
VQL-UT is the next-generation query language for https://github.com/hyperpolymath/nextgen-databases[VeriSimDB], designed to satisfy **all 10 levels of type safety** — the 6 established IO-covered forms and the 4 additional forms identified through our research.

0 commit comments

Comments
 (0)