poi 0.4.0

A pragmatic point-free theorem prover assistant
Documentation
# This file is automatically @generated by Cargo.
# It is not intended for manual editing.
[[package]]
name = "lazy_static"
version = "1.4.0"
source = "registry+https://github.com/rust-lang/crates.io-index"
checksum = "e2abad23fbc42b3700f2f279844dc832adb2b2eb069b2df918f455c4e18cc646"

[[package]]
name = "piston_meta"
version = "1.0.0"
source = "registry+https://github.com/rust-lang/crates.io-index"
checksum = "228fa5279dadd270fa33ded6a927d66cfc1bc0ad9812ec5ac6be5876eea86c22"
dependencies = [
 "lazy_static",
 "range",
 "read_token",
]

[[package]]
name = "poi"
version = "0.4.0"
dependencies = [
 "piston_meta",
]

[[package]]
name = "range"
version = "1.0.0"
source = "registry+https://github.com/rust-lang/crates.io-index"
checksum = "5b851d7223b2adbc5d30dea12eeaf45dd58c81559656e056d31ff7d5407ba6f1"

[[package]]
name = "read_token"
version = "1.0.0"
source = "registry+https://github.com/rust-lang/crates.io-index"
checksum = "051fef16f3ac50a9eacfd64de43e909016df6b722d70b2a6e73eb83c1e891638"
dependencies = [
 "range",
]