[[]]
= "addition"
= "examples/addition.rs"
[]
[]
= "anat"
= "src/lib.rs"
[]
= ["TriedAngle <Sebastian@Strobl.net>"]
= "A library to represent natural numbers as well-founded sets"
= "2018"
= "Apache-2.0"
= "anat-rs"
= "https://github.com/TriedAngle/Anat"
= "0.1.1"