math.bend checks

raw source on the hub · import 0xd5e9362591c1667c9894b781190e1ac9/math.bend as Math

# The bend.how number library, as one package. # # Every file here that checks clean, imported in one place so the hub can # carry them under a single hash: bend math.bend --publish uploads this # file with everything it imports. The claim board (LAWS.bend, PROOF.bend) # is left out on purpose: it keeps an open law, and the hub refuses those.

12 imports

import Base
import ./nat.bend as N
import ./mathlib.bend as M
import ./int.bend as I
import ./int_filled.bend as IF
import ./reals.bend as R
import ./primes.bend as P
import ./euclid.bend as E
import ./sqrt2.bend as S2
import ./gcd.bend as G
import ./pythag.bend as PY
import ./fermat4.bend as F

This file declares nothing of its own.