type-fn 0.1.2

Allows for simpler coding of type-level logic, e.g. for type-number systems.
Documentation