 ;;;; ---------------------------------------------------------------------------
 ;;;; ---- My playing ----
 
-;;; Shows that "same category" is a thing, as /Clojure Programming/ says. Shows
-;;; that the doc string's "type-independent manner" is bollocks (or at least
-;;; open to interpretation).
+;;; Shows that "same category" is A Thing, as /Clojure Programming/ says. Shows
+;;; that the doc string's "type-independent manner" is wrong (according to what
+;;; I think that should mean).
 
 ;;; Summary, showing the equivalence classes apart from rationals:
 ;;;

  (fact (= 2.0 2.0)                   => true)
  (fact (= (Float. 2.0) (Float. 2.0)) => true))

(fact "Two numbers of the same category and 'value' are equal with ="
  (fact (= 2   2N)           => true)
  (fact (= 2M  2.0M)         => true)
  (fact (= 2.0 (Float. 2.0)) => true))

(ns clojure-the-language.clojure-numerics-test
  (:require [midje.sweet :refer :all]))

;;;; ___________________________________________________________________________
;;;; ---- Terminology ----

;;; The phrase "equivalent value" is used when two numbers, possibly of
;;; different types, are the same value as seen from the point of view of
;;; mathematics. So, for example, 2 and 2.0 are equivalent values.

;;;; ___________________________________________________________________________
;;;; ---- Numeric types ----
