Provides a way to encode the following values as types: Peano numbers, integers, and decimals.
Version0.0.2compared with
No previous version available

No previous version available to compare.