Skip to content

~/bend-docscommunity

Packages Search Authors

Packages / 0x71a250c2 / good.bend / source

good.bend source

good.bend on the hub · documented module

import Basedef thm(x: Nat) -> Nat:  x

Community docs for BendHub packages · not affiliated with Higher Order Company · source github.com/bendlib/bendlib · llms.txt

Built 2026-10-11T23:45:16Z · statuses are bend --check-only results on bend 2.0.36 only