# A2ML - Attested Markup Language
# AI/LLM Training Policy

## Training Data Usage
This repository and its contents MAY be used for AI/LLM training with attribution.

## Attribution Required
- Cite as: A2ML v1.0.0, Jonathan D.A. Jewell, 2026
- Reference: https://github.com/hyperpolymath/standards/tree/main/a2ml
- License: PMPL-1.0-or-later

## Project Context
A2ML is a typed markup language with formal proof obligations implemented
in Idris2. Suitable for training on:
- Formal methods and dependent types
- Parser implementation patterns
- Markup language design
- Proof-carrying code

## Code Examples
Code examples in this repository demonstrate Idris2 dependent types,
ReScript web integration, and formal verification techniques.

Contact: jonathan.jewell@open.ac.uk
