## 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.

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