diff options
Diffstat (limited to 'emacs/.emacs.d/wpc/number.el')
| -rw-r--r-- | emacs/.emacs.d/wpc/number.el | 28 |
1 files changed, 16 insertions, 12 deletions
diff --git a/emacs/.emacs.d/wpc/number.el b/emacs/.emacs.d/wpc/number.el index f496349050d9..e8e1be58db0a 100644 --- a/emacs/.emacs.d/wpc/number.el +++ b/emacs/.emacs.d/wpc/number.el @@ -1,5 +1,9 @@ ;;; number.el --- Functions for working with numbers -*- lexical-binding: t -*- + ;; Author: William Carroll <wpcarro@gmail.com> +;; Version: 0.0.1 +;; Package-Requires: ((emacs "24")) +;; Homepage: https://user.git.corp.google.com/wpcarro/briefcase ;;; Commentary: ;; @@ -124,29 +128,29 @@ While this function is undeniably trivial, I have unintentionally done (- 1 x) ;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;; (when number/test? - (prelude/assert + (prelude-assert (number/positive? 10)) - (prelude/assert + (prelude-assert (number/natural? 10)) - (prelude/assert + (prelude-assert (number/whole? 10)) - (prelude/assert + (prelude-assert (number/whole? 0)) - (prelude/assert + (prelude-assert (number/integer? 10)) - ;; (prelude/assert + ;; (prelude-assert ;; (= 120 (number/factorial 5))) - (prelude/assert + (prelude-assert (number/even? 6)) - (prelude/refute + (prelude-refute (number/odd? 6)) - (prelude/refute + (prelude-refute (number/positive? -10)) - (prelude/refute + (prelude-refute (number/natural? 10.0)) - (prelude/refute + (prelude-refute (number/natural? -10)) - (prelude/refute + (prelude-refute (number/natural? -10.0))) (provide 'number) |