EXPLAINME.adoc

empty-linter: Negative-Space Diagnostics — Show Me The Receipts

Table of Contents

• Technology Choices
• Dogfooded Across The Account
• File Map
• Questions?

The README makes claims. This file backs them up.

It acts as the "Eyes" for agents, enforcing symbolic structural intent over hidden "crap-voids."

— README

Technology Choices

Technology	Learn More
Zig	https://ziglang.org
Deno	https://deno.land
ReScript	https://rescript-lang.org
Idris2 ABI	https://www.idris-lang.org

Dogfooded Across The Account

Uses the hyperpolymath ABI/FFI standard (Idris2 + Zig). Same pattern used across proven, burble, and gossamer.

File Map

Path	What’s There
src/	Source code
lib/	Library code
ffi/	Foreign function interface
test(s)/	Test suite

Questions?

Open an issue or reach out directly — happy to explain anything in more detail.