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