6 releases
Uses old Rust 2015
| 0.0.6 | Jul 16, 2016 |
|---|---|
| 0.0.5 | Jul 15, 2016 |
| 0.0.2 | Jun 29, 2016 |
#30 in #type-level
17KB
412 lines
identity
A stable Rust implementation of an identity (a.k.a., “equality witness”) type.
A stable Rust implementation of an identity (a.k.a., “equality witness”) type
Uses old Rust 2015
| 0.0.6 | Jul 16, 2016 |
|---|---|
| 0.0.5 | Jul 15, 2016 |
| 0.0.2 | Jun 29, 2016 |
#30 in #type-level
17KB
412 lines
A stable Rust implementation of an identity (a.k.a., “equality witness”) type.