dependent_ghost-0.1.1
Platform
- x86_64-unknown-linux-gnu
Feature flags

docs.rs

Rust

dependent_ghost 0.1.1

An implementation of Matt Noonan's 'Ghosts of Departed Proofs'.

Crate
Source
Builds
Feature flags

..
lib.rs
named.rs
proof.rs

1
2

pub mod named;
pub mod proof;