Showing changes from revision #8 to #9:
Added | Removed | Changed
The decimal numbers as familiar from school mathematics.
The type of decimal numbers, denoted , is defined as the higher inductive type generated by:
(i.e. 1.00 = 1.000 with decimal numeral representations)