constructible-0.1: Exact computation with constructible real numbers

Index

ConstructData.Real.Constructible
ConstructExceptionData.Real.Constructible
ConstructIrrationalData.Real.Constructible
ConstructSqrtNegativeData.Real.Constructible
deconstructData.Real.Constructible
fromConstructData.Real.Constructible
UnconstructibleData.Real.Constructible