type-level-logic 0.1.0

Primitive types and operations for type-level logic.
Documentation