Skip to content

Latest commit

 

History

History
52 lines (35 loc) · 1.19 KB

File metadata and controls

52 lines (35 loc) · 1.19 KB

🌲 Tree Navigator — Show Me The Receipts

The README makes claims. This file backs them up.

This project must declare MPL-2.0-or-later for platform/tooling compatibility.

— README

Technology Choices

Technology Learn More

Zig

https://ziglang.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

ffi/

Foreign function interface

test(s)/

Test suite

Questions?

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

License

This project is licensed under the Mozilla Public License, v. 2.0. See the LICENSE file for details.

SPDX-License-Identifier: CC-BY-SA-4.0