[]
= "anat-rs"
= "0.1.1"
= ["TriedAngle <Sebastian@Strobl.net>"]
= "2018"
= "https://github.com/TriedAngle/Anat"
= "A library to represent natural numbers as well-founded sets"
= "Apache-2.0"
[]
= "anat"
= "src/lib.rs"
[[]]
= "addition"
= "examples/addition.rs"
# See more keys and their definitions at https://doc.rust-lang.org/cargo/reference/manifest.html
[]