NB: ICYW (defaxiom succ "The successor integer." [] (==> int int)) https://github.com/latte-central/latte-integers/blob/master/src/latte_integer

NB: ICYW (defaxiom succ "The successor integer." [] (==> int int)) https://github.com/latte-central/latte-integers/blob/master/src/latte_integers/core.clj#L31 https://github.com/latte-central/latte-integers/blob/master/... A computer language is not just a way of getting a computer to perform operations but rather that it is a novel formal medium for expressing ideas about methodology. Thus, programs must be written for people to read, and only incidentally for machines to execute. - Preface, SICP 1st Ed. https://mitpress.mit.edu/sicp/front/node3.html https://mitpress.mit.edu/sicp/front/node3.html