Skip to content

Commit f6db76b

Browse files
hyperpolymathclaude
andcommitted
docs: add EXPLAINME.adoc — prove-it file backing README claims
Standard RSR documentation: quotes README claims, lists tech choices with links, honest caveats, dogfooding table. See rsr-template-repo for the pattern. Co-Authored-By: Claude Opus 4.6 (1M context) <noreply@anthropic.com>
1 parent e133c4e commit f6db76b

1 file changed

Lines changed: 46 additions & 0 deletions

File tree

EXPLAINME.adoc

Lines changed: 46 additions & 0 deletions
Original file line numberDiff line numberDiff line change
@@ -0,0 +1,46 @@
1+
// SPDX-License-Identifier: PMPL-1.0-or-later
2+
= ECHIDNA — Show Me The Receipts
3+
:toc:
4+
:icons: font
5+
6+
The README makes claims. This file backs them up.
7+
8+
[quote, README]
9+
____
10+
This project is licensed under the link:LICENSE[Palimpsest Meta-Project License (PMPL-1.0-or-later)].
11+
____
12+
13+
== Technology Choices
14+
15+
[cols="1,2"]
16+
|===
17+
| Technology | Learn More
18+
19+
| **Rust** | https://www.rust-lang.org
20+
| **Zig** | https://ziglang.org
21+
| **Deno** | https://deno.land
22+
| **Julia** | https://julialang.org
23+
| **Idris2 ABI** | https://www.idris-lang.org
24+
|===
25+
26+
== Dogfooded Across The Account
27+
28+
Uses the hyperpolymath ABI/FFI standard (Idris2 + Zig). Same pattern used across
29+
https://github.com/hyperpolymath/proven[proven],
30+
https://github.com/hyperpolymath/burble[burble], and
31+
https://github.com/hyperpolymath/gossamer[gossamer].
32+
33+
== File Map
34+
35+
[cols="1,2"]
36+
|===
37+
| Path | What's There
38+
39+
| `src/` | Source code
40+
| `ffi/` | Foreign function interface
41+
| `test(s)/` | Test suite
42+
|===
43+
44+
== Questions?
45+
46+
Open an issue or reach out directly — happy to explain anything in more detail.

0 commit comments

Comments
 (0)