Published Versions

express natural numbers within a type

Version	Published
6.0.1	20 Mar 2021
6.0.0	20 Mar 2021
5.0.2	18 Mar 2021
5.0.1	17 Mar 2021
5.0.0	9 Mar 2021
4.0.0	9 Mar 2021
3.0.0	1 Mar 2021
2.0.1	27 Feb 2021
2.0.0	27 Feb 2021
1.0.1	27 Feb 2021
1.0.0	27 Feb 2021