
Go backward to A Foundations of the Exact Fixed Point Numbers
Go up to Top
Go forward to Index
B Changes in Future Versions
To make future changes of this library of Basic Datatyps in some sense
predictable, we provide here a list of "approved" changes:
For the whole library we will
- develop a simple and uniform way to deal with the "with"
construct.
- provide "show functions", to convert the values of a datatype
to a string.
CoFI
Note: L-12 -- Version: 0.3 -- November 1999.
Comments to cofi@informatik.uni-bremen.de
