@hackage / gdp

Reason about invariants and preconditions with ghosts of departed proofs.

Latest0.0.3.0

Changelog

This release does not have a Changelog