path: root/algebraic-structures.monoid.number.sum.base.scm

(module (algebraic-structures monoid number sum base) (<> unit)
  (import scheme)

  (define <> +)
  (define unit 0))