atsiser 0.1.0

Wrap C codebases in ATS linear types for zero-cost memory safety without rewrites
Documentation
1
2
3
4
5
6
7
8
9
10
11
# SPDX-License-Identifier: PMPL-1.0-or-later
---
### [META]
id: "abi-unit"
level: 4
parent: "../0.3-AI-MANIFEST.a2ml"

---
### [AI_MANIFEST]
description: |
  Abi logic at level 4.