[package]

name = "taskpool"
version = "0.1.0"
authors = ["Jonathan Reem <jonathan.reem@gmail.com>"]

[lib]

name = "taskpool"
path = "src/lib.rs"

[dev-dependencies]
stainless = "*"