Source

computable-reals / LICENSE

Robert Smith 6ea9b8e 















;;;; The code below can be used freely under the following conditions:
;;;; * Due credit is given to the original author.
;;;; * You use it at your own risk. The code is experimental and meant
;;;;   as a case study to show that "lazy reals" can be implemented.
;;;;   In particular, no guarantee is given that the code conforms to
;;;;   the specification given below.
;;;;
;;;; If you use it in publications (including software), please let me
;;;; know.
;;;;
;;;; Note: The main focus here is on correct results (which are, however,
;;;; not guaranteed, see above). It is certainly possible to improve the
;;;; efficiency of the code quite a bit.
;;;;
;;;; Michael Stoll, December 11, 2009
;;;; firstname.lastname@uni-bayreuth.de
Tip: Filter by directory path e.g. /media app.js to search for public/media/app.js.
Tip: Use camelCasing e.g. ProjME to search for ProjectModifiedEvent.java.
Tip: Filter by extension type e.g. /repo .js to search for all .js files in the /repo directory.
Tip: Separate your search with spaces e.g. /ssh pom.xml to search for src/ssh/pom.xml.
Tip: Use ↑ and ↓ arrow keys to navigate and return to view the file.
Tip: You can also navigate files with Ctrl+j (next) and Ctrl+k (previous) and view the file with Ctrl+o.
Tip: You can also navigate files with Alt+j (next) and Alt+k (previous) and view the file with Alt+o.