departed 0.1.0

A library that provides some of the benefits of dependent types using the Ghosts of Departed Proofs technique
Documentation 
1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16

# This file is automatically @generated by Cargo.
# It is not intended for manual editing.
version = 4

[[package]]
name = "departed"
version = "0.1.0"
dependencies = [
 "text_io",
]

[[package]]
name = "text_io"
version = "0.1.13"
source = "registry+https://github.com/rust-lang/crates.io-index"
checksum = "4d8d3ca3b06292094e03841d8995e910712d2a10b5869c8f9725385b29761115"