[dependencies]
[package]
authors = ["Cameron Wong <cam@camdar.io>"]
description = "An implementation of Matt Noonan's 'Ghosts of Departed Proofs'."
edition = "2018"
homepage = "https://kataskeue.com/gdp.pdf"
license = "MIT"
name = "dependent_ghost"
readme = "README.md"
repository = "https://github.com/CT075/dependent-ghost"
version = "0.1.0"