type-equalities 0.1.0

Observing type equality with zero-sized proofs
Documentation

type-equalities

License

Licensed under either of

Contribution

Unless you explicitly state otherwise, any contribution intentionally submitted for inclusion in the work by you shall be dual licensed as above, without any additional terms or conditions.