exclusive-choice 0.1.0

An implementation of affine addative conjunction in the rust type system.
Documentation