computable-reals
Computable real numbers.
$ area51 add computable-realsCopyUsage
;; area51 add updates your .asd automatically.
;; Use the package in your code:
(in-package :my-project)
(computable-reals:some-function ...)Computable real numbers.
$ area51 add computable-realsCopy;; area51 add updates your .asd automatically.
;; Use the package in your code:
(in-package :my-project)
(computable-reals:some-function ...)